Searched refs:bmk_time_t (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dplatform.h35 void bmk_platform_cpu_block(bmk_time_t);
37 bmk_time_t bmk_platform_cpu_clock_monotonic(void);
38 bmk_time_t bmk_platform_cpu_clock_epochoffset(void);
H A Dtypes.h40 typedef __INT64_TYPE__ bmk_time_t; typedef
H A Dsched.h60 void bmk_sched_blockprepare_timeout(bmk_time_t);
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dkernel.h15 void cpu_block(bmk_time_t);
19 bmk_time_t cpu_clock_now(void);
20 bmk_time_t cpu_clock_epochoffset(void);
H A Dclock_subr.h45 bmk_time_t clock_ymdhms_to_secs(struct bmk_clock_ymdhms *);
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Dclock.c24 static bmk_time_t rtc_epochoffset;
37 bmk_time_t
40 bmk_time_t now = 0;
52 bmk_time_t
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dclock.c52 bmk_time_t
61 bmk_time_t
74 bmk_platform_cpu_block(bmk_time_t until)
76 bmk_time_t now, delta_ns;
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/
H A Drumpuser_clock.c39 bmk_time_t time;
61 bmk_time_t deadline = 0;
H A Drumpuser_synch.c51 wait(struct waithead *wh, bmk_time_t wakeup)
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dclock.c60 static bmk_time_t rtc_epochoffset;
70 static bmk_time_t time_base;
205 static bmk_time_t
234 static bmk_time_t
301 static bmk_time_t
320 return (bmk_time_t)time_now;
326 static bmk_time_t
330 bmk_time_t wc_boot;
446 bmk_time_t
458 bmk_time_t
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c50 static bmk_time_t rtc_epochoffset;
115 bmk_time_t
131 bmk_time_t
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h77 bmk_time_t arch_cpu_clock_monotonic(void);
78 bmk_time_t arch_cpu_clock_epochoffset(void);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/
H A Dmachdep.c161 bmk_time_t
168 bmk_time_t
176 bmk_platform_cpu_block(bmk_time_t until)
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dtime.c158 bmk_time_t bmk_platform_cpu_clock_monotonic(void)
190 bmk_time_t
194 bmk_time_t rv;
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dclock_subr.c148 bmk_time_t
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dkernel.c90 bmk_platform_cpu_block(bmk_time_t until)
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c90 bmk_time_t bt_wakeup_time;
315 bmk_time_t curtime, waketime;
599 bmk_sched_blockprepare_timeout(bmk_time_t deadline)
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A D_lwp.c235 bmk_time_t nsecs = ts->tv_sec*1000*1000*1000 + ts->tv_nsec;

Completed in 78 milliseconds