Searched refs:mmu_shared_Type (Results 1 – 1 of 1) sorted by relevance
1831 } mmu_shared_Type; typedef1861 mmu_shared_Type sh_t;2099 __STATIC_INLINE int MMU_SharedSection(uint32_t *descriptor_l1, mmu_shared_Type s_bit) in MMU_SharedSection()2229 __STATIC_INLINE int MMU_SharedPage(uint32_t *descriptor_l2, mmu_shared_Type s_bit) in MMU_SharedPage()