Searched refs:xtensa_kernel_ptables (Results 1 – 2 of 2) sorted by relevance
19 extern uint32_t *xtensa_kernel_ptables;144 domain.ptables = xtensa_kernel_ptables; in xtensa_mmu_init_paging()
63 uint32_t *xtensa_kernel_ptables = (uint32_t *)l1_page_table[0]; variable221 if (is_pte_illegal(xtensa_kernel_ptables[l1_pos])) { in map_memory_range()229 xtensa_kernel_ptables[l1_pos] = in map_memory_range()273 init_page_table(xtensa_kernel_ptables, XTENSA_L1_PAGE_TABLE_ENTRIES); in xtensa_init_page_tables()429 ret = l2_page_table_map(xtensa_kernel_ptables, (void *)vaddr, paddr, in __arch_mem_map()434 ret = l2_page_table_map(xtensa_kernel_ptables, (void *)vaddr_uc, paddr_uc, in __arch_mem_map()591 is_exec = l2_page_table_unmap(xtensa_kernel_ptables, (void *)vaddr); in __arch_mem_unmap()594 (void)l2_page_table_unmap(xtensa_kernel_ptables, (void *)vaddr_uc); in __arch_mem_unmap()730 return xtensa_kernel_ptables; in thread_page_tables_get()758 if (is_pte_illegal(xtensa_kernel_ptables[i]) || in dup_table()[all …]
Completed in 10 milliseconds