static void vmx_update_eoi_exit_bitmap(struct vcpu *v, u8 vector, u8 trig)
{
- if ( cpu_has_vmx_virtual_intr_delivery )
- {
- if (trig)
- vmx_set_eoi_exit_bitmap(v, vector);
- else
- vmx_clear_eoi_exit_bitmap(v, vector);
- }
+ if ( trig )
+ vmx_set_eoi_exit_bitmap(v, vector);
+ else
+ vmx_clear_eoi_exit_bitmap(v, vector);
}
static int vmx_virtual_intr_delivery_enabled(void)
unsigned long status;
u8 old;
- if ( !cpu_has_vmx_virtual_intr_delivery )
- return;
-
if ( isr < 0 )
isr = 0;
}
if ( !cpu_has_vmx_virtual_intr_delivery )
+ {
+ vmx_function_table.update_eoi_exit_bitmap = NULL;
+ vmx_function_table.process_isr = NULL;
vmx_function_table.handle_eoi = NULL;
+ }
if ( cpu_has_vmx_posted_intr_processing )
alloc_direct_apic_vector(&posted_intr_vector, event_check_interrupt);