Lines Matching full:tables
19 /* Skip TLB IPI when updating page tables.
61 * That is an alias for the page tables set used by the kernel.
73 * This additional variable tracks which l1 tables are in use. This is kept separated from
74 * the tables to keep alignment easier.
76 * @note: The first bit is set because it is used for the kernel page tables.
81 * This additional variable tracks which l2 tables are in use. This is kept separated from
82 * the tables to keep alignment easier.
87 * Protects xtensa_domain_list and serializes access to page tables.
292 /* Finally, the direct-mapped pages used in the page tables in xtensa_init_page_tables()
665 * switching until all the page tables are updated. in xtensa_mmu_tlb_shootdown()
667 * and running that with incorrect page tables in xtensa_mmu_tlb_shootdown()
673 /* We don't have information on which page tables have changed, in xtensa_mmu_tlb_shootdown()
674 * so we just invalidate the cache for all L1 page tables. in xtensa_mmu_tlb_shootdown()
703 /* Need to remap the thread page tables if the ones in xtensa_mmu_tlb_shootdown()
716 * would refresh the L2 page tables. in xtensa_mmu_tlb_shootdown()
812 * to create a new set of page tables. We can just in arch_mem_domain_init()
813 * use the kernel page tables and save memory. in arch_mem_domain_init()
987 * the old page tables. in arch_mem_domain_thread_add()
994 /* Need to switch to new page tables if this is in arch_mem_domain_thread_add()