Constant __DRIVERKIT_24_1 

pub const __DRIVERKIT_24_1: u32 = 240100;