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 z_mem_virt_addr(z_x86_cr3_get()); in z_x86_page_tables_get()
55 if (ptables_phys != z_x86_cr3_get()) { in z_x86_swap_update_page_tables()
172 return z_x86_cr3_get(); in get_cr3()
418 ptables_phys = z_x86_cr3_get(); in z_x86_tlb_ipi()1948 if (thread == _current && thread->arch.ptables != z_x86_cr3_get()) { in arch_mem_domain_thread_add()
