[][src]Constant hts_sys::DELAYTIMER_MAX

pub const DELAYTIMER_MAX: u32 = 2147483647;