Searched refs:wc_boot (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/ | ||
H A D | clock.c | 330 bmk_time_t wc_boot; local 335 wc_boot = pvclock_wc.sec * NSEC_PER_SEC; 336 wc_boot += pvclock_wc.nsec; 340 return wc_boot; |
Completed in 28 milliseconds