Include mapping for the registers:
AUX_ENABLES        : Auxiliary_Enables_Type;
AUX_MU_IO_REG      : Mini_Uart_IO_Data_Type;
AUX_MU_IER_REG     : Mini_Uart_Interrupt_Enable_Type;