Searched refs:vmcs_getreg (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmcs.c | 194 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval) in vmcs_getreg() function
474 ret = vmcs_getreg(vmcs, running, ident, &val); in vmcs_snapshot_reg()
|
| H A D | vmcs.h | 53 int vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *rv);
|
| H A D | vmx.c | 3349 error = vmcs_getreg(vcpu->vmcs, running, in vmx_get_intr_shadow()
3372 error = vmcs_getreg(vmcs, running, ident, &gi); in vmx_modify_intr_shadow()
3430 return (vmcs_getreg(vcpu->vmcs, running, reg, retval)); in vmx_getreg()
3467 vmcs_getreg(vcpu->vmcs, running, in vmx_setreg()
|