Searched refs:irq_manager (Results 1 – 2 of 2) sorted by relevance
196 grlib_irqmp_ack(env->irq_manager, cpu->cpu_index, intno); in leon3_irq_ack()323 env->irq_manager = irqmpdev; in leon3_generic_hw_init()
548 DeviceState *irq_manager; member