Type Definition xen_sys::tsc_timestamp_t

source · [−]
pub type tsc_timestamp_t = u64;