Searched refs:z_x86_cr3_get (Results 1 – 4 of 4) sorted by relevance
171 static inline uintptr_t z_x86_cr3_get(void) in z_x86_cr3_get() function185 return k_mem_virt_addr(z_x86_cr3_get()); in z_x86_page_tables_get()
60 if (ptables_phys != z_x86_cr3_get()) { in z_x86_swap_update_page_tables()
244 return z_x86_cr3_get(); in get_cr3()
418 ptables_phys = z_x86_cr3_get(); in z_x86_tlb_ipi()1961 if (thread == arch_current_thread() && thread->arch.ptables != z_x86_cr3_get()) { in arch_mem_domain_thread_add()
