Symbol: vmcb_access
sys/amd64/vmm/amd/vmcb.c
174
return (vmcb_access(vcpu, 0, ident, retval));
sys/amd64/vmm/amd/vmcb.c
281
return (vmcb_access(vcpu, 1, ident, &val));