/core/include/mm/
../
tee_mm.h
tee_mmu.h
tee_mmu_types.h