Lines Matching refs:xtensa_kernel_ptables
63 uint32_t *xtensa_kernel_ptables = (uint32_t *)l1_page_table[0]; variable
221 if (is_pte_illegal(xtensa_kernel_ptables[l1_pos])) { in map_memory_range()
229 xtensa_kernel_ptables[l1_pos] = in map_memory_range()
234 table = (uint32_t *)(xtensa_kernel_ptables[l1_pos] & XTENSA_MMU_PTE_PPN_MASK); 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()
764 src_l2_table = (uint32_t *)(xtensa_kernel_ptables[i] & XTENSA_MMU_PTE_PPN_MASK); in dup_table()
822 domain->arch.ptables = xtensa_kernel_ptables; in arch_mem_domain_init()