Constant __DRIVERKIT_25_1 

pub const __DRIVERKIT_25_1: u32 = 250100;