pub const SystemReg_REG_DBGWCR4_EL1: SystemReg = 32807;