/core/include/mm/

• ../
• tee_mm.h
• tee_mmu.h
• tee_mmu_types.h