Constant __DRIVERKIT_24_2 

pub const __DRIVERKIT_24_2: u32 = 240200;