Symbol: vmcb_setany
sys/amd64/vmm/amd/vmcb.c
550
ret = vmcb_setany(vcpu, ident, val);
sys/amd64/vmm/amd/vmcb.h
362
int vmcb_setany(struct svm_vcpu *vcpu, int ident, uint64_t val);