handleSpuriousIRQ (reference) in projects: seL4-master

Searched refs:handleSpuriousIRQ (Results 1 – 8 of 8) sorted by relevance

/seL4-master/include/machine/
A D	interrupt.h	`105 static inline void handleSpuriousIRQ(void);`
/seL4-master/include/arch/arm/arch/machine/
A D	gic_common.h	`75 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
/seL4-master/include/drivers/irq/
A D	omap3.h	`100 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
A D	am335x.h	`114 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
A D	bcm2836-armctrl-ic.h	`141 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`103 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`267 static inline void handleSpuriousIRQ(void) in handleSpuriousIRQ() function`
/seL4-master/src/api/
A D	syscall.c	`53 handleSpuriousIRQ(); in handleInterruptEntry()`

Completed in 11 milliseconds