Searched refs:IrqType_PPI (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/kernel/arch/arm/ | ||
H A D | gic.c | 36 IrqType_PPI, enumerator in enum:IrqType 58 return IrqType_PPI; 183 if(irq_type != IrqType_PPI) { |
/barrelfish-master/usr/drivers/pl390_dist/ | ||
H A D | main.c | 31 IrqType_PPI, enumerator in enum:IrqType 50 return IrqType_PPI; |
Completed in 80 milliseconds