Function fresh_stat

src/tcb/misc.rs:131–133

()

// reference)
#[trusted]
pub fn fresh_stat() -> libc::stat {
    unsafe { std::mem::zeroed() }
}

// Unsafe necessary as libc::rusage is opaque. It is safe but we can replace it by implementing
// pub fn bitwise_or_u32(bv1: u32, bv2: u32) -> u32 {