Symbol: vmx_load_pdptes
sys/arch/amd64/amd64/vmm_machdep.c
5643
ret = vmx_load_pdptes(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
97
int vmx_load_pdptes(struct vcpu *);