Constant __DRIVERKIT_23_4 

pub const __DRIVERKIT_23_4: u32 = 230400;