Home
last modified time | relevance | path

Searched refs:ctrlreg (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/i86xpv/os/
H A Dmp_xen.c284 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()
/illumos-gate/usr/src/uts/common/xen/public/arch-x86/
H A Dxen.h134 unsigned long ctrlreg[8]; /* CR0-CR7 (control registers) */ member
/illumos-gate/usr/src/cmd/mdb/intel/modules/mdb_kb/
H A Dmdb_kb.c551 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()