/* * 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>inthtif_serial_init(void);inthtif_system_reset_check(u32type,u32reason);voidhtif_system_reset(u32type,u32reason);#endif