Symbol: VM_REG_GUEST_PDPTE0
sys/amd64/vmm/intel/vmcs.c
112
case VM_REG_GUEST_PDPTE0:
sys/amd64/vmm/intel/vmx.c
4202
err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE0, meta);
usr.sbin/bhyve/amd64/task_switch.c
523
SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]);