include/sbi_utils/sys/htif.h


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_down(u32 type);

#endif