void __5_1_2_7__0x0124_0x0127_32_LED_Output_Register() {
/**
 * @header:     	5.1.2.7 LED Output Register
 * @address:    	0x0124 - 0x0127 | Size: 32 bits
 *
 * @description:
 *
 * @note:
 *
 * +-------+-----------------------------------------------------------------------+------+--------------+
 * | Bits  | Description                                                           | Type | Default      |
 * +-------+-----------------------------------------------------------------------+------+--------------+
 * | 31:10 | RESERVED                                                              | RO   | 0x00000      |
 * +-------+-----------------------------------------------------------------------+------+--------------+
 * | 9:0   | GPO Output Control                                                    | R/W  | 0000000000b  |
 * |       | When configured as a GPO via the LED Override Register, the GPO       |      |              |
 * |       | output is controlled via this field. The LSB bit of this field        |      |              |
 * |       | represents LED1_0, followed by LED1_1, LED2_0, etc.                   |      |              |
 * |       | 0 = LEDx_y pin outputs low                                            |      |              |
 * |       | 1 = LEDx_y pin outputs high                                           |      |              |
 * +-------+-----------------------------------------------------------------------+------+--------------+
 *
 */
}