Searched refs:vmcb_write (Results 1 – 3 of 3) sorted by relevance
251 vmcb_write(struct svm_softc *sc, int vcpu, int ident, uint64_t val) in vmcb_write() function
339 int vmcb_write(struct svm_softc *sc, int vcpu, int ident, uint64_t val);
2213 if (vmcb_write(svm_sc, vcpu, ident, val) == 0) { in svm_setreg()