pub const SystemReg_REG_DBGBVR4_EL1: SystemReg = 32804;