Home
last modified time | relevance | path

Searched refs:VM_REG_GUEST_PDPTE3 (Results 1 – 4 of 4) sorted by relevance

/freebsd-14.2/sys/amd64/vmm/intel/
H A Dvmcs.c119 case VM_REG_GUEST_PDPTE3: in vmcs_field_encoding()
H A Dvmx.c4192 err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE3, meta); in vmx_vcpu_snapshot()
/freebsd-14.2/sys/amd64/include/
H A Dvmm.h93 VM_REG_GUEST_PDPTE3, enumerator
/freebsd-14.2/usr.sbin/bhyve/amd64/
H A Dtask_switch.c527 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()