| 62 | &no_flush_rsb, 0, "Do not flush RSB upon vmexit"); |
| 63 | |
| 64 | static uint64_t |
| 65 | vmcs_fix_regval(uint32_t encoding, uint64_t val) |
| 66 | { |
| 67 | |
| 68 | switch (encoding) { |
| 69 | case VMCS_GUEST_CR0: |
| 70 | val = vmx_fix_cr0(val); |
| 71 | break; |
| 72 | case VMCS_GUEST_CR4: |
| 73 | val = vmx_fix_cr4(val); |
| 74 | break; |
| 75 | default: |
| 76 | break; |
| 77 | } |
| 78 | return (val); |
| 79 | } |
| 80 | |
| 81 | static uint32_t |
| 82 | vmcs_field_encoding(int ident) |
no test coverage detected