Constant __DRIVERKIT_25_0 

pub const __DRIVERKIT_25_0: u32 = 250000;