Symbol: VMCB_INTCPT_PAUSE
sys/amd64/vmm/amd/svm.c
2464
VMCB_INTCPT_PAUSE, val);
sys/amd64/vmm/amd/svm.c
2550
VMCB_INTCPT_PAUSE);