Searched refs:cpu_kernel_cr3 (Results 1 – 4 of 4) sorted by relevance
684 } else if (get_cr3_base() != cpu_datap(ccpu)->cpu_kernel_cr3) { in set_dirbase()685 set_cr3_raw(cpu_datap(ccpu)->cpu_kernel_cr3); in set_dirbase()696 if (get_cr3_base() != cpu_datap(ccpu)->cpu_kernel_cr3) { in set_dirbase()697 set_cr3_raw(cpu_datap(ccpu)->cpu_kernel_cr3); in set_dirbase()813 …p, thread, ccpu), get_cr3_raw(), map->pmap->pm_cr3, cpu_datap(ccpu)->cpu_kernel_cr3, kernel_pmap->…
210 addr64_t cpu_kernel_cr3; member
330 offsetof(cpu_data_t, cpu_kernel_cr3)); in main()
325 cdp->cpu_kernel_cr3 = kernel_pmap->pm_cr3; in pmap_cpu_init()326 cpu_shadowp(cdp->cpu_number)->cpu_kernel_cr3 = cdp->cpu_kernel_cr3; in pmap_cpu_init()510 …current_cpu_datap()->cpu_kernel_cr3 = cpu_shadowp(cpu_number())->cpu_kernel_cr3 = (addr64_t) kerne… in pmap_bootstrap()