1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
| /*
| * SPDX-License-Identifier: BSD-3-Clause
| *
| * Copyright (c) 2010-2020, The Regents of the University of California
| * (Regents). All Rights Reserved.
| */
|
| #ifndef __SYS_HTIF_H__
| #define __SYS_HTIF_H__
|
| #include <sbi/sbi_types.h>
|
| void htif_putc(char ch);
|
| int htif_getc(void);
|
| int htif_system_reset(u32 type);
|
| #endif
|
|
