Searched refs:deadline (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_generic.h25 static inline void setDeadline(ticks_t deadline) argument
27 assert(deadline >= NODE_STATE(ksCurTime));
28 SYSTEM_WRITE_64(CNT_CVAL, deadline);
33 ticks_t deadline = UINT64_MAX; local
34 setDeadline(deadline);
H A Dimx31-gpt.h41 static inline void setDeadline(ticks_t deadline) argument
43 if (((uint32_t) deadline) > gpt->gptcnt) {
46 /* set the deadline */
48 gpt->gptcr1 = (uint32_t) deadline;
49 } while (gpt->gptcr1 != (uint32_t) deadline);
H A Dam335x.h53 /* set the next deadline irq - deadline is absolute */
54 static inline void setDeadline(ticks_t deadline) argument
56 /* Set the deadline in two parts */
57 if ((deadline & HIGH_BYTES) != 0) {
58 deadline = (deadline & HIGH_BYTES) >> 32;
61 assert((deadline & HIGH_BYTES) == 0);
62 timer->tmar = (uint32_t)deadline;
65 /* ack previous deadline ir
[all...]
H A Dexynos4412-mct.h33 static inline void setDeadline(ticks_t deadline) argument
39 mct->global.comp0h = (uint32_t)(deadline >> 32u);
43 mct->global.comp0l = (uint32_t) deadline;
H A Darm_global.h63 static inline void setDeadline(ticks_t deadline) argument
68 globalTimer->comparatorLower = (uint32_t) deadline;
70 globalTimer->comparatorUpper = (uint32_t)(deadline >> 32llu);
74 assert(getCurrentTime() < deadline || globalTimer->isr == 1u);
H A Domap3430.h45 static inline void setDeadline(ticks_t deadline) argument
47 timer->tmar = (uint32_t) deadline;
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h57 static inline void setDeadline(ticks_t deadline) argument
59 assert(deadline > NODE_STATE(ksCurTime));
61 x86_wrmsr(IA32_TSC_DEADLINE_MSR, deadline);
63 /* convert deadline from tscKhz to apic khz */
64 deadline -= getCurrentTime();
65 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio));
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/
H A Drumpuser_clock.c61 bmk_time_t deadline = 0; local
67 deadline = bmk_platform_cpu_clock_monotonic();
72 deadline += sec * 1000*1000*1000 + nsec;
73 bmk_sched_blockprepare_timeout(deadline);
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dtimer.h56 /* set the next deadline irq - deadline is absolute */
57 static inline void setDeadline(ticks_t deadline) argument
59 assert(deadline > NODE_STATE(ksCurTime));
61 sbi_set_timer(deadline);
64 /* ack previous deadline irq */
/seL4-camkes-master/kernel/include/machine/
H A Dtimer.h19 /* set the next deadline irq - deadline is absolute */
21 static inline void setDeadline(ticks_t deadline);
22 /* ack previous deadline irq */
/seL4-camkes-master/projects/picotcp/test/examples/
H A Diperfc.c27 static pico_time deadline; variable
52 deadline = PICO_TIME_MS() + DURATION * 1000;
65 if (PICO_TIME_MS() > deadline) {
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dwait.h77 #define minios_wait_event_deadline(wq, condition, deadline) do { \
87 bmk_sched_blockprepare_timeout(deadline); \
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c599 bmk_sched_blockprepare_timeout(bmk_time_t deadline) argument
607 thread->bt_wakeup_time = deadline;

Completed in 95 milliseconds