Constant DEBUG_GSEL_ALLOW_HIGHER 

pub const DEBUG_GSEL_ALLOW_HIGHER: u32 = 4u32;