Symbol: svm_get_vmcb_state
sys/amd64/vmm/amd/svm.c
1175
state = svm_get_vmcb_state(vcpu);
sys/amd64/vmm/amd/svm.c
1265
state = svm_get_vmcb_state(vcpu);
sys/amd64/vmm/amd/svm.c
1757
state = svm_get_vmcb_state(vcpu);
sys/amd64/vmm/amd/svm.c
2140
state = svm_get_vmcb_state(vcpu);
sys/amd64/vmm/amd/svm.c
476
state = svm_get_vmcb_state(vcpu);
sys/amd64/vmm/amd/svm.c
840
state = svm_get_vmcb_state(vcpu);