Symbol: VM_REG_GUEST_PDPTE2
sys/amd64/vmm/intel/vmcs.c
116
case VM_REG_GUEST_PDPTE2:
sys/amd64/vmm/intel/vmx.c
4204
err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE2, meta);
usr.sbin/bhyve/amd64/task_switch.c
525
SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]);