Searched refs:cpu_kernel_pcid (Results 1 – 4 of 4) sorted by relevance
345 cpu_datap(ccpu)->cpu_kernel_pcid = kernel_pmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_activate()
289 pcid_t cpu_kernel_pcid; member
390 offsetof(cpu_data_t, cpu_kernel_pcid)); in main()
805 …nel_pmap->pm_cr3, cpu_datap(ccpu)->cpu_active_pcid, cpu_datap(ccpu)->cpu_kernel_pcid, thread->mach…