Searched refs:vmcb_read (Results 1 – 3 of 3) sorted by relevance
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | vmcb.c | 164 vmcb_read(struct svm_softc *sc, int vcpu, int ident, uint64_t *retval) in vmcb_read() function
475 error = vmcb_read(sc, vcpu, ident, val); in vmcb_getany()
|
| H A D | vmcb.h | 340 int vmcb_read(struct svm_softc *sc, int vcpu, int ident, uint64_t *retval);
|
| H A D | svm.c | 2208 if (vmcb_read(svm_sc, vcpu, ident, val) == 0) { in svm_getreg()
|