Already defined in uart.h