Symbol: vmptrld
sys/arch/amd64/amd64/vmm_machdep.c
2657
if (vmptrld(&vcpu->vc_control_pa)) {
sys/arch/amd64/amd64/vmm_machdep.c
978
if (vmptrld(&vcpu->vc_control_pa)) {
sys/arch/amd64/include/vmmvar.h
1043
int vmptrld(paddr_t *);