1// See LICENSE for license details.
2
3#ifndef _RISCV_16750_H
4#define _RISCV_16750_H
5
6#include <stdint.h>
7
8extern volatile uint32_t* uart16750;
9
10void uart16750_putchar(uint8_t ch);
11int uart16750_getchar();
12void query_uart16750(uintptr_t dtb);
13
14#endif
15