Constant __DRIVERKIT_23_1 

pub const __DRIVERKIT_23_1: u32 = 230100;