Searched refs:deadline (Results 1 – 8 of 8) sorted by relevance
25 static inline void setDeadline(ticks_t deadline) in setDeadline() argument27 assert(deadline >= NODE_STATE(ksCurTime)); in setDeadline()28 SYSTEM_WRITE_64(CNT_CVAL, deadline); in setDeadline()33 ticks_t deadline = UINT64_MAX; in ackDeadlineIRQ() local34 setDeadline(deadline); in ackDeadlineIRQ()
54 static inline void setDeadline(ticks_t deadline) in setDeadline() argument57 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()
63 static inline void setDeadline(ticks_t deadline) in setDeadline() argument68 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()
33 static inline void setDeadline(ticks_t deadline) in setDeadline() argument39 mct->global.comp0h = (uint32_t)(deadline >> 32u); in setDeadline()43 mct->global.comp0l = (uint32_t) deadline; in setDeadline()
45 static inline void setDeadline(ticks_t deadline) in setDeadline() argument47 timer->tmar = (uint32_t) deadline; in setDeadline()
57 static inline void setDeadline(ticks_t deadline) in setDeadline() argument59 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()
57 static inline void setDeadline(ticks_t deadline) in setDeadline() argument59 assert(deadline > NODE_STATE(ksCurTime)); in setDeadline()61 sbi_set_timer(deadline); in setDeadline()
21 static inline void setDeadline(ticks_t deadline);
Completed in 12 milliseconds