Constant xen_sys::UINT_LEAST32_MAX

pub const UINT_LEAST32_MAX: u32 = 4294967295;