Symbol: VM_REG_GUEST_PDPTE1
sys/amd64/vmm/intel/vmcs.c
114
case VM_REG_GUEST_PDPTE1:
sys/amd64/vmm/intel/vmx.c
4203
err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE1, meta);
usr.sbin/bhyve/amd64/task_switch.c
524
SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]);