Searched refs:ackDeadlineIRQ (Results 1 - 12 of 12) sorted by relevance

/seL4-mcs-10.1.1/include/machine/
H A Dtimer.h27 static inline void ackDeadlineIRQ(void);
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Dgeneric_timer.c29 ackDeadlineIRQ();
/seL4-mcs-10.1.1/include/plat/apq8064/plat/machine/
H A Dtimer.h53 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/plat/exynos4/plat/machine/
H A Dtimer.h54 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgeneric_timer.h43 ackDeadlineIRQ(void) function
H A Dglobal_timer.h91 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h66 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dtimer.h47 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dtimer.h77 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dtimer.h75 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dtimer.h81 ackDeadlineIRQ(void) function
/seL4-mcs-10.1.1/src/object/
H A Dinterrupt.c219 ackDeadlineIRQ();

Completed in 93 milliseconds