ACX_REG_INTERRUPT_TRIG_H
[ACX_REG_INTERRUPT_TRIG_H] = (REGISTERS_BASE + 0x0478),
addr = ACX_REG_INTERRUPT_TRIG_H;