Searched refs:ctrlreg (Results 1 – 3 of 3) sorted by relevance
284 vgc->ctrlreg[0] = CR0_ENABLE_FPU_FLAGS(getcr0()); in mp_set_cpu_context()286 vgc->ctrlreg[3] = in mp_set_cpu_context()289 vgc->ctrlreg[4] = getcr4(); in mp_set_cpu_context()
134 unsigned long ctrlreg[8]; /* CR0-CR7 (control registers) */ member
551 uint64_t cr3 = xkb->xkb_vcpus[0]->ctrlreg[3]; in xkb_cr3_to_pfn()1566 bcopy(&vcpu->ctrlreg, &mregs->pm_cr, 8 * sizeof (ulong_t)); in xkb_getmregs()