Function stop_timer

src/stats/timing.rs:117–124

()

#[inline]
pub fn stop_timer() -> u64 {
    unsafe {
        let mut junk: u32 = 0;
        let ans: u64 = __rdtscp(&mut junk);
        __cpuid_count(0, 0);
        ans
    }
}

pub fn push_hostcall_result(name: &str, start: u64, end: u64) {
    // println!("name: {:?}", name);