vmcb_read
if (vmcb_read(vcpu, ident, val) == 0) {
error = vmcb_read(vcpu, ident, val);
int vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval);