Constant __DRIVERKIT_24_4 

pub const __DRIVERKIT_24_4: u32 = 240400;