|
@@ -239,6 +239,7 @@ static inline int mp_find_ioapic(u32 gsi) { return 0; }
|
|
static inline u32 mp_pin_to_gsi(int ioapic, int pin) { return UINT_MAX; }
|
|
static inline u32 mp_pin_to_gsi(int ioapic, int pin) { return UINT_MAX; }
|
|
static inline int mp_map_gsi_to_irq(u32 gsi, unsigned int flags) { return gsi; }
|
|
static inline int mp_map_gsi_to_irq(u32 gsi, unsigned int flags) { return gsi; }
|
|
static inline void mp_unmap_irq(int irq) { }
|
|
static inline void mp_unmap_irq(int irq) { }
|
|
|
|
+static inline bool mp_should_keep_irq(struct device *dev) { return 1; }
|
|
|
|
|
|
static inline int save_ioapic_entries(void)
|
|
static inline int save_ioapic_entries(void)
|
|
{
|
|
{
|