Constant IRQ_PENDING_2 

const IRQ_PENDING_2: *mut u32 = _; // {0x3f00b208 as *mut u32}