Constant HPRT0 

const HPRT0: *mut u32 = _; // {0x3f980440 as *mut u32}