Constant __DRIVERKIT_24_0 

pub const __DRIVERKIT_24_0: u32 = 240000;