Searched refs:arch_cpu_clock_epochoffset (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Dclock.c53 arch_cpu_clock_epochoffset(void) function
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c132 arch_cpu_clock_epochoffset(void) function
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dclock.c64 return arch_cpu_clock_epochoffset();
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h78 bmk_time_t arch_cpu_clock_epochoffset(void);

Completed in 86 milliseconds