[][src]Constant linux_sys::CLOCK_TAI

pub const CLOCK_TAI: u32 = 11;