| 1319 | CTASSERT((PROCBASED_CTLS_ONE_SETTING & PROCBASED_INT_WINDOW_EXITING) != 0); |
| 1320 | |
| 1321 | static void __inline |
| 1322 | vmx_set_int_window_exiting(struct vmx *vmx, int vcpu) |
| 1323 | { |
| 1324 | |
| 1325 | if ((vmx->cap[vcpu].proc_ctls & PROCBASED_INT_WINDOW_EXITING) == 0) { |
| 1326 | vmx->cap[vcpu].proc_ctls |= PROCBASED_INT_WINDOW_EXITING; |
| 1327 | vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); |
| 1328 | VCPU_CTR0(vmx->vm, vcpu, "Enabling interrupt window exiting"); |
| 1329 | } |
| 1330 | } |
| 1331 | |
| 1332 | static void __inline |
| 1333 | vmx_clear_int_window_exiting(struct vmx *vmx, int vcpu) |
no test coverage detected