Symbol: vmcb_write
sys/amd64/vmm/amd/svm.c
2379
if (vmcb_write(vcpu, ident, val) == 0) {
sys/amd64/vmm/amd/vmcb.c
496
error = vmcb_write(vcpu, ident, val);
sys/amd64/vmm/amd/vmcb.h
356
int vmcb_write(struct svm_vcpu *vcpu, int ident, uint64_t val);