Constant AT_BASE_PLATFORM 

pub const AT_BASE_PLATFORM: u32 = 24 /* 24u32 */;