Constant ENABLE_IRQS_2 

const ENABLE_IRQS_2: *mut u32 = _; // {0x3f00b214 as *mut u32}