Searched defs:platform_acknowledge_irq (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dgic_v3.c95 void platform_acknowledge_irq(uint32_t irq) function
H A Dgic.c135 void platform_acknowledge_irq(uint32_t irq) function
H A Dgic_v2.c95 void platform_acknowledge_irq(uint32_t irq) function
/barrelfish-master/kernel/arch/armv8/
H A Dplat_rpi3.c133 void platform_acknowledge_irq(uint32_t irq) function

Completed in 38 milliseconds