Symbol: vmt_hvcall
sys/arch/x86/x86/identcpu.c
1215
vmt_hvcall(VM_CMD_GET_VERSION, regs);
sys/arch/x86/x86/lapic.c
285
vmt_hvcall(VM_CMD_GET_VCPU_INFO, regs);