Searched defs:deadline (Results 1 - 9 of 9) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgeneric_timer.h36 setDeadline(ticks_t deadline) argument
45 ticks_t deadline = UINT64_MAX; local
H A Dglobal_timer.h74 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/apq8064/plat/machine/
H A Dtimer.h47 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/exynos4/plat/machine/
H A Dtimer.h48 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dtimer.h70 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h60 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dtimer.h62 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dtimer.h71 setDeadline(ticks_t deadline) argument
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dtimer.h59 setDeadline(ticks_t deadline) argument

Completed in 40 milliseconds