Constant __DRIVERKIT_25_2 

pub const __DRIVERKIT_25_2: u32 = 250200;