| Register Name | Offset Address | Width | Type | Reset Value | Description |
| IRQ_MODE | 0x000000000C | 32 | woWrite-only | 0x00000000 | Interrupt Mode Register |
| GPO0 | 0x0000000010 | 32 | woWrite-only | 0x00000000 | IOModule Misc Control Register (GPO0) |
| GPO1 | 0x0000000014 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PMU to MIO Signals (GPO1) |
| GPO2 | 0x0000000018 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PMU Acknowlegements (GPO2) |
| GPO3 | 0x000000001C | 32 | woWrite-only | 0x00000000 | PMU to PL Signals (GPO3) |
| GPI0 | 0x0000000020 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | Fault Tolerance Status Register (GPI0) |
| GPI1 | 0x0000000024 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | General Purpose Input Register 1 |
| GPI2 | 0x0000000028 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | General Purpose Input Register 2 |
| GPI3 | 0x000000002C | 32 | roRead-only | 0x00000000 | General Purpose Input Register 3 |
| IRQ_STATUS | 0x0000000030 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | Interrupt Status Register |
| IRQ_PENDING | 0x0000000034 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | Interrupt Pending Register |
| IRQ_ENABLE | 0x0000000038 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | Interrupt Enable Register |
| IRQ_ACK | 0x000000003C | 32 | mixedMixed types. See bit-field details. | 0x00000000 | Interrupt Acknowledge Register |
| PIT0_PRELOAD | 0x0000000040 | 32 | woWrite-only | 0x00000000 | PIT0 Preload Register |
| PIT0_COUNTER | 0x0000000044 | 32 | roRead-only | 0x00000000 | PIT0 Counter Register |
| PIT0_CONTROL | 0x0000000048 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PIT0 Control Register |
| PIT1_PRELOAD | 0x0000000050 | 32 | woWrite-only | 0x00000000 | PIT1 Preload Register |
| PIT1_COUNTER | 0x0000000054 | 32 | roRead-only | 0x00000000 | PIT1 Counter Register |
| PIT1_CONTROL | 0x0000000058 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PIT1 Control Register |
| PIT2_PRELOAD | 0x0000000060 | 32 | woWrite-only | 0x00000000 | PIT2 Preload Register |
| PIT2_COUNTER | 0x0000000064 | 32 | roRead-only | 0x00000000 | PIT2 Counter Register |
| PIT2_CONTROL | 0x0000000068 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PIT2 Control Register |
| PIT3_PRELOAD | 0x0000000070 | 32 | woWrite-only | 0x00000000 | PIT3 Preload Register |
| PIT3_COUNTER | 0x0000000074 | 32 | roRead-only | 0x00000000 | PIT3 Counter Register |
| PIT3_CONTROL | 0x0000000078 | 32 | mixedMixed types. See bit-field details. | 0x00000000 | PIT3 Control Register |
| INSTRUCTION_INJECT_ADDR | 0x0000001014 | 32 | woWrite-only | 0x00000000 | Instruction Injection Address (IOModule_1.GPO1) |
| INSTRUCTION_INJECT | 0x0000001018 | 32 | woWrite-only | 0x00000000 | Instruction Injection (IOModule_1.GPO2) |