Searched refs:ptables_phys (Results 1 – 3 of 3) sorted by relevance
55 uintptr_t ptables_phys = incoming->arch.ptables; in z_x86_swap_update_page_tables() local57 __ASSERT(ptables_phys != 0, "NULL page tables for thread %p\n", in z_x86_swap_update_page_tables()60 if (ptables_phys != z_x86_cr3_get()) { in z_x86_swap_update_page_tables()61 z_x86_cr3_set(ptables_phys); in z_x86_swap_update_page_tables()
410 uintptr_t ptables_phys; in z_x86_tlb_ipi() local418 ptables_phys = z_x86_cr3_get(); in z_x86_tlb_ipi()419 __ASSERT(ptables_phys == k_mem_phys_addr(&z_x86_kernel_ptables), ""); in z_x86_tlb_ipi()424 ptables_phys = k_mem_phys_addr(z_x86_thread_page_tables_get(arch_current_thread())); in z_x86_tlb_ipi()434 z_x86_cr3_set(ptables_phys); in z_x86_tlb_ipi()
775 ptables_phys = syms["z_x86_pagetables_start"] + virt_to_phys_offset802 pt = pclass(ptables_phys)
