| 3315 | } |
| 3316 | |
| 3317 | static int |
| 3318 | vmx_shadow_reg(int reg) |
| 3319 | { |
| 3320 | int shreg; |
| 3321 | |
| 3322 | shreg = -1; |
| 3323 | |
| 3324 | switch (reg) { |
| 3325 | case VM_REG_GUEST_CR0: |
| 3326 | shreg = VMCS_CR0_SHADOW; |
| 3327 | break; |
| 3328 | case VM_REG_GUEST_CR4: |
| 3329 | shreg = VMCS_CR4_SHADOW; |
| 3330 | break; |
| 3331 | default: |
| 3332 | break; |
| 3333 | } |
| 3334 | |
| 3335 | return (shreg); |
| 3336 | } |
| 3337 | |
| 3338 | static int |
| 3339 | vmx_getreg(void *arg, int vcpu, int reg, uint64_t *retval) |