| channel_data_t | Structure for storing configuration data of a single serial channel |
| HAL_SavedRegisters | Processor saved state |
| HAL_STUB_INSTR_BACKUP | Stores breakpoint data |
| HAL_STUB_LSC_BUF | For long, short and byte access |
| int_ackn_t | This type stores mask and address of interrupt acknowledge register |
| int_mask_t | This data type stores mask and address of one interrupt source |
| int_prio_conf_t | Interrupt configuration data structure |
1.3.5