setDeadline (reference) in projects: seL4-master

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 10 milliseconds