Symbol: vmcb_read
sys/amd64/vmm/amd/svm.c
2350
if (vmcb_read(vcpu, ident, val) == 0) {
sys/amd64/vmm/amd/vmcb.c
480
error = vmcb_read(vcpu, ident, val);
sys/amd64/vmm/amd/vmcb.h
355
int vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval);