Searched refs:ptables_phys (Results 1 – 3 of 3) sorted by relevance
50 uintptr_t ptables_phys = incoming->arch.ptables; in z_x86_swap_update_page_tables() local52 __ASSERT(ptables_phys != 0, "NULL page tables for thread %p\n", in z_x86_swap_update_page_tables()55 if (ptables_phys != z_x86_cr3_get()) { in z_x86_swap_update_page_tables()56 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 == z_mem_phys_addr(&z_x86_kernel_ptables), ""); in z_x86_tlb_ipi()424 ptables_phys = z_mem_phys_addr(z_x86_thread_page_tables_get(_current)); 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)
