Symbol: VMCB_INTCPT_HLT
sys/amd64/vmm/amd/svm.c
2460
VMCB_INTCPT_HLT, val);
sys/amd64/vmm/amd/svm.c
2546
VMCB_INTCPT_HLT);