Searched refs:getCurrentTime (Results 1 - 15 of 15) sorted by relevance

/seL4-mcs-10.1.1/include/machine/
H A Dtimer.h21 static inline ticks_t getCurrentTime(void);
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dtimer.h52 getCurrentTime(void) function
77 deadline -= getCurrentTime();
/seL4-mcs-10.1.1/include/plat/apq8064/plat/machine/
H A Dtimer.h40 getCurrentTime(void) function
/seL4-mcs-10.1.1/include/plat/exynos4/plat/machine/
H A Dtimer.h41 getCurrentTime(void) function
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgeneric_timer.h27 getCurrentTime(void) function
H A Dglobal_timer.h55 getCurrentTime(void) function
86 assert(getCurrentTime() < deadline || globalTimer->isr == 1u);
/seL4-mcs-10.1.1/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h53 getCurrentTime(void) function
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dtimer.h64 getCurrentTime(void) function
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dtimer.h56 getCurrentTime(void) function
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dtimer.h67 getCurrentTime(void) function
/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c491 NODE_STATE(ksCurTime) = getCurrentTime();
594 NODE_STATE(ksCurTime) = getCurrentTime();
/seL4-mcs-10.1.1/include/kernel/
H A Dthread.h201 NODE_STATE(ksCurTime) = getCurrentTime();
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c456 NODE_STATE(ksCurTime) = getCurrentTime();
H A Dboot_sys.c791 NODE_STATE(ksCurTime) = getCurrentTime();
/seL4-mcs-10.1.1/src/kernel/
H A Dboot.c548 NODE_STATE(ksCurTime) = getCurrentTime();

Completed in 74 milliseconds