1// See LICENSE for license details.
2
3#ifndef _RISCV_16550_H
4#define _RISCV_16550_H
5
6#include <stdint.h>
7
8extern volatile uint8_t* uart16550;
9
10void uart16550_putchar(uint8_t ch);
11int uart16550_getchar();
12void query_uart16550(uintptr_t dtb);
13
14#endif
15