#ifndef _MACHINE_UART_H_
#define _MACHINE_UART_H_ 1

#include <stdint.h>

#endif  /* !_MACHINE_UART_H_ */