Searched refs:z_x86_cr3_set (Results 1 – 3 of 3) sorted by relevance
158 static inline void z_x86_cr3_set(uintptr_t phys) in z_x86_cr3_set() function
61 z_x86_cr3_set(ptables_phys); in z_x86_swap_update_page_tables()
434 z_x86_cr3_set(ptables_phys); in z_x86_tlb_ipi()1962 z_x86_cr3_set(thread->arch.ptables); in arch_mem_domain_thread_add()
