ackDeadlineIRQ (reference) in projects: seL4-master

Searched refs:ackDeadlineIRQ (Results 1 – 10 of 10) sorted by relevance

/seL4-master/include/machine/
A D	timer.h	`24 static inline void ackDeadlineIRQ(void);`
/seL4-master/include/drivers/timer/
A D	arm_generic.h	`31 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
A D	exynos4412-mct.h	`49 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
A D	arm_global.h	`78 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
A D	omap3430.h	`58 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
A D	am335x.h	`66 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
/seL4-master/include/arch/riscv/arch/machine/
A D	timer.h	`65 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
/seL4-master/include/arch/x86/arch/machine/
A D	timer.h	`38 static inline void ackDeadlineIRQ(void) in ackDeadlineIRQ() function`
/seL4-master/src/drivers/timer/
A D	generic_timer.c	`28 ackDeadlineIRQ(); in initGenericTimer()`
/seL4-master/src/object/
A D	interrupt.c	`221 ackDeadlineIRQ(); in handleInterrupt()`

Completed in 12 milliseconds