Searched refs:MILLIS_PER_SEC (Results 1 – 1 of 1) sorted by relevance
83 const MILLIS_PER_SEC: i64 = 1000; constant738 Ok(guest_time_ticks * MILLIS_PER_SEC / ticks_per_sec) in get_guest_time()