| 3263 | } |
| 3264 | |
| 3265 | static int |
| 3266 | vmxctx_setreg(struct vmxctx *vmxctx, int reg, uint64_t val) |
| 3267 | { |
| 3268 | register_t *regp; |
| 3269 | |
| 3270 | if ((regp = vmxctx_regptr(vmxctx, reg)) != NULL) { |
| 3271 | *regp = val; |
| 3272 | return (0); |
| 3273 | } else |
| 3274 | return (EINVAL); |
| 3275 | } |
| 3276 | |
| 3277 | static int |
| 3278 | vmx_get_intr_shadow(struct vmx *vmx, int vcpu, int running, uint64_t *retval) |
no test coverage detected