x86[_64]: Support assigning MSI IRQs to arbitrary CPU

headers/private/kernel/arch/x86/arch_int.h

@@ -11,6 +11,13 @@
 #define NUM_IO_VECTORS		(256 - ARCH_INTERRUPT_BASE)
 
 
+enum irq_source {
+	IRQ_SOURCE_INVALID,
+	IRQ_SOURCE_IOAPIC,
+	IRQ_SOURCE_MSI,
+};
+
+
 static inline void
 arch_int_enable_interrupts_inline(void)
 {
@@ -72,6 +79,8 @@ typedef struct interrupt_controller_s {
 } interrupt_controller;
 
 
+void x86_set_irq_source(int irq, irq_source source);
+
 void arch_int_set_interrupt_controller(const interrupt_controller &controller);
 
 #endif // __cplusplus

headers/private/kernel/arch/x86/msi.h

@@ -28,5 +28,6 @@ bool		msi_supported();
 status_t	msi_allocate_vectors(uint8 count, uint8 *startVector,
 				uint64 *address, uint16 *data);
 void		msi_free_vectors(uint8 count, uint8 startVector);
+void		msi_assign_interrupt_to_cpu(uint8 irq, int32 cpu);
 
 #endif // _KERNEL_ARCH_x86_MSI_H