Constant CLOCK_DOMAIN_EXTERNAL 

pub const CLOCK_DOMAIN_EXTERNAL: u32 = 4294967295;