Home
last modified time | relevance | path

Searched refs:mmu_table (Results 1 – 5 of 5) sorted by relevance

/libcpu/arm/cortex-a/
A Dmmu.c85 static void _init_map_section(rt_uint32_t *mmu_table, rt_uint32_t va, in _init_map_section() argument
90 ptt = (rt_uint32_t *)mmu_table + (va >> ARCH_SECTION_SHIFT); in _init_map_section()
487 size_t *mmu_table; in rt_hw_mmu_pgtbl_create() local
488 mmu_table = (size_t *)rt_pages_alloc_ext(2, PAGE_ANY_AVAILABLE); in rt_hw_mmu_pgtbl_create()
489 if (!mmu_table) in rt_hw_mmu_pgtbl_create()
493 …rt_memcpy(mmu_table + KPTE_START, (size_t *)rt_kernel_space.page_table + KPTE_START, ARCH_PAGE_SIZ… in rt_hw_mmu_pgtbl_create()
494 rt_memset(mmu_table, 0, 3 * ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
495 rt_hw_cpu_dcache_ops(RT_HW_CACHE_FLUSH, mmu_table, 4 * ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
497 return mmu_table; in rt_hw_mmu_pgtbl_create()
/libcpu/risc-v/common64/
A Dmmu.c736 rt_ubase_t *mmu_table; in rt_hw_mmu_pgtbl_create() local
737 mmu_table = (rt_ubase_t *)rt_pages_alloc_ext(0, PAGE_ANY_AVAILABLE); in rt_hw_mmu_pgtbl_create()
738 if (!mmu_table) in rt_hw_mmu_pgtbl_create()
742 rt_memcpy(mmu_table, rt_kernel_space.page_table, ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
743 rt_hw_cpu_dcache_ops(RT_HW_CACHE_FLUSH, mmu_table, ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
745 return mmu_table; in rt_hw_mmu_pgtbl_create()
/libcpu/aarch64/common/
A Dmmu.c940 size_t *mmu_table; in rt_hw_mmu_pgtbl_create() local
941 mmu_table = (size_t *)rt_pages_alloc_ext(0, PAGE_ANY_AVAILABLE); in rt_hw_mmu_pgtbl_create()
942 if (!mmu_table) in rt_hw_mmu_pgtbl_create()
947 memset(mmu_table, 0, ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
948 rt_hw_cpu_dcache_ops(RT_HW_CACHE_FLUSH, mmu_table, ARCH_PAGE_SIZE); in rt_hw_mmu_pgtbl_create()
949 return mmu_table; in rt_hw_mmu_pgtbl_create()
/libcpu/mips/gs264/
A Dmmu.h98 void switch_mmu(void *mmu_table);
A Dmmu.c28 void switch_mmu(void *mmu_table) in switch_mmu() argument
30 current_mmu_table = mmu_table; in switch_mmu()

Completed in 9 milliseconds