Symbol: vmcb_getany
sys/amd64/vmm/amd/vmcb.c
542
ret = vmcb_getany(vcpu, ident, &val);
sys/amd64/vmm/amd/vmcb.h
361
int vmcb_getany(struct svm_vcpu *vcpu, int ident, uint64_t *val);