Searched refs:xtensa_kernel_ptables (Results 1 – 1 of 1) sorted by relevance
63 uint32_t *xtensa_kernel_ptables = (uint32_t *)l1_page_table[0]; variable168 return xtensa_kernel_ptables; in thread_page_tables_get()232 if (is_pte_illegal(xtensa_kernel_ptables[l1_pos])) { in map_memory_range()240 xtensa_kernel_ptables[l1_pos] = in map_memory_range()245 table = (uint32_t *)(xtensa_kernel_ptables[l1_pos] & XTENSA_MMU_PTE_PPN_MASK); in map_memory_range()277 init_page_table(xtensa_kernel_ptables, XTENSA_L1_PAGE_TABLE_ENTRIES); in xtensa_init_page_tables()316 xtensa_init_paging(xtensa_kernel_ptables); in xtensa_mmu_init()331 xtensa_init_paging(xtensa_kernel_ptables); in xtensa_mmu_reinit()433 ret = l2_page_table_map(xtensa_kernel_ptables, (void *)vaddr, paddr, in __arch_mem_map()438 ret = l2_page_table_map(xtensa_kernel_ptables, (void *)vaddr_uc, paddr_uc, in __arch_mem_map()[all …]
