vmcb_setany
ret = vmcb_setany(vcpu, ident, val);
int vmcb_setany(struct svm_vcpu *vcpu, int ident, uint64_t val);