Home
last modified time | relevance | path

Searched refs:VM_REG_GUEST_PDPTE2 (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/uts/intel/io/vmm/intel/
H A Dvmcs.c95 case VM_REG_GUEST_PDPTE2: in vmcs_field_encoding()
/illumos-gate/usr/src/uts/intel/sys/
H A Dvmm.h95 VM_REG_GUEST_PDPTE2, enumerator
/illumos-gate/usr/src/lib/libvmm/
H A Dlibvmm.c482 VM_REG_GUEST_PDPTE2, /* VMM_REG_PDPTE2 */
/illumos-gate/usr/src/uts/intel/io/vmm/amd/
H A Dsvm.c2170 case VM_REG_GUEST_PDPTE2: in svm_getreg()
2260 case VM_REG_GUEST_PDPTE2: in svm_setreg()
/illumos-gate/usr/src/cmd/bhyve/
H A Dtask_switch.c539 SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()