Searched refs:setDeadline (Results 1 – 9 of 9) sorted by relevance

/seL4-master/include/drivers/timer/
A D	arm_generic.h	25 static inline void setDeadline(ticks_t deadline) in setDeadline() function 34 setDeadline(deadline); in ackDeadlineIRQ()
A D	exynos4412-mct.h	33 static inline void setDeadline(ticks_t deadline) in setDeadline() function
A D	arm_global.h	63 static inline void setDeadline(ticks_t deadline) in setDeadline() function
A D	omap3430.h	45 static inline void setDeadline(ticks_t deadline) in setDeadline() function
A D	am335x.h	54 static inline void setDeadline(ticks_t deadline) in setDeadline() function
/seL4-master/include/machine/
A D	timer.h	21 static inline void setDeadline(ticks_t deadline);
/seL4-master/include/arch/riscv/arch/machine/
A D	timer.h	57 static inline void setDeadline(ticks_t deadline) in setDeadline() function
/seL4-master/include/arch/x86/arch/machine/
A D	timer.h	57 static inline void setDeadline(ticks_t deadline) in setDeadline() function
/seL4-master/src/kernel/
A D	thread.c	588 setDeadline(next_interrupt - getTimerPrecision()); in setNextInterrupt()

Completed in 9 milliseconds

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