Searched refs:getCurrentTime (Results 1 – 14 of 14) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A D	timer.h	42 static inline ticks_t getCurrentTime(void) in getCurrentTime() function 64 deadline -= getCurrentTime(); in setDeadline()
/seL4-master/include/drivers/timer/
A D	arm_global.h	45 static inline ticks_t getCurrentTime(void) in getCurrentTime() function 74 assert(getCurrentTime() < deadline || globalTimer->isr == 1u); in setDeadline()
A D	arm_generic.h	17 static inline ticks_t getCurrentTime(void) in getCurrentTime() function
A D	exynos4412-mct.h	18 static inline ticks_t getCurrentTime(void) in getCurrentTime() function
A D	omap3430.h	51 static inline ticks_t getCurrentTime(void) in getCurrentTime() function
A D	am335x.h	44 static inline ticks_t getCurrentTime(void) in getCurrentTime() function
/seL4-master/include/machine/
A D	timer.h	18 static inline ticks_t getCurrentTime(void);
/seL4-master/include/arch/riscv/arch/machine/
A D	timer.h	51 static inline ticks_t getCurrentTime(void) in getCurrentTime() function
/seL4-master/src/arch/riscv/kernel/
A D	boot.c	389 NODE_STATE(ksCurTime) = getCurrentTime(); in try_init_kernel() 487 NODE_STATE(ksCurTime) = getCurrentTime(); in init_kernel()
/seL4-master/src/arch/arm/kernel/
A D	boot.c	538 NODE_STATE(ksCurTime) = getCurrentTime(); in try_init_kernel() 656 NODE_STATE(ksCurTime) = getCurrentTime(); in init_kernel()
/seL4-master/include/kernel/
A D	thread.h	227 NODE_STATE(ksCurTime) = getCurrentTime(); in updateTimestamp()
/seL4-master/src/arch/x86/kernel/
A D	boot.c	298 NODE_STATE(ksCurTime) = getCurrentTime(); in init_sys_state()
A D	boot_sys.c	730 NODE_STATE(ksCurTime) = getCurrentTime(); in boot_sys()
/seL4-master/src/kernel/
A D	boot.c	568 NODE_STATE(ksCurTime) = getCurrentTime(); in init_core_state()

Completed in 19 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023