Home
last modified time | relevance | path

Searched refs:deadline (Results 1 – 8 of 8) sorted by relevance

/seL4-master/include/drivers/timer/
A Darm_generic.h25 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
27 assert(deadline >= NODE_STATE(ksCurTime)); in setDeadline()
28 SYSTEM_WRITE_64(CNT_CVAL, deadline); in setDeadline()
33 ticks_t deadline = UINT64_MAX; in ackDeadlineIRQ() local
34 setDeadline(deadline); in ackDeadlineIRQ()
A Dam335x.h54 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
57 if ((deadline & HIGH_BYTES) != 0) { in setDeadline()
58 deadline = (deadline & HIGH_BYTES) >> 32; in setDeadline()
61 assert((deadline & HIGH_BYTES) == 0); in setDeadline()
62 timer->tmar = (uint32_t)deadline; in setDeadline()
A Darm_global.h63 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
68 globalTimer->comparatorLower = (uint32_t) deadline; in setDeadline()
70 globalTimer->comparatorUpper = (uint32_t)(deadline >> 32llu); in setDeadline()
74 assert(getCurrentTime() < deadline || globalTimer->isr == 1u); in setDeadline()
A Dexynos4412-mct.h33 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
39 mct->global.comp0h = (uint32_t)(deadline >> 32u); in setDeadline()
43 mct->global.comp0l = (uint32_t) deadline; in setDeadline()
A Domap3430.h45 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
47 timer->tmar = (uint32_t) deadline; in setDeadline()
/seL4-master/include/arch/x86/arch/machine/
A Dtimer.h57 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
59 assert(deadline > NODE_STATE(ksCurTime)); in setDeadline()
61 x86_wrmsr(IA32_TSC_DEADLINE_MSR, deadline); in setDeadline()
64 deadline -= getCurrentTime(); in setDeadline()
65 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio)); in setDeadline()
/seL4-master/include/arch/riscv/arch/machine/
A Dtimer.h57 static inline void setDeadline(ticks_t deadline) in setDeadline() argument
59 assert(deadline > NODE_STATE(ksCurTime)); in setDeadline()
61 sbi_set_timer(deadline); in setDeadline()
/seL4-master/include/machine/
A Dtimer.h21 static inline void setDeadline(ticks_t deadline);

Completed in 12 milliseconds