int (*mmio_access)(struct mmio_access *access);
};
-/* Virtual interrupts waiting to be injected */
-struct pending_irq {
- u32 virt_id;
-
- struct pending_irq *next;
- struct pending_irq *prev;
-} __attribute__((packed));
-
unsigned int irqchip_mmio_count_regions(struct cell *cell);
int irqchip_init(void);
void irqchip_inject_pending(struct per_cpu *cpu_data);
void irqchip_set_pending(struct per_cpu *cpu_data, u16 irq_id);
-bool spi_in_cell(struct cell *cell, unsigned int spi);
+bool irqchip_irq_in_cell(struct cell *cell, unsigned int irq_id);
#endif /* __ASSEMBLY__ */
#endif /* _JAILHOUSE_ASM_IRQCHIP_H */