Symbol: VM_REG_GUEST_PDPTE3
sys/amd64/vmm/intel/vmcs.c
118
case VM_REG_GUEST_PDPTE3:
sys/amd64/vmm/intel/vmx.c
4205
err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE3, meta);
usr.sbin/bhyve/amd64/task_switch.c
526
SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]);