Searched refs:vmcb_read (Results 1 – 3 of 3) sorted by relevance
162 vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval) in vmcb_read() function480 error = vmcb_read(vcpu, ident, val); in vmcb_getany()
355 int vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval);
2334 if (vmcb_read(vcpu, ident, val) == 0) { in svm_getreg()