pub const SystemReg_REG_DBGWVR4_EL1: SystemReg = 32806;