Constant GINTMSK 

const GINTMSK: *mut u32 = _; // {0x3f980018 as *mut u32}