src/arch/riscv/include/bits/errfile.h

#ifndef _BITS_ERRFILE_H
#define _BITS_ERRFILE_H

/** @file
 *
 * RISC-V error file identifiers
 *
 */

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );

/**
 * @addtogroup errfile Error file identifiers
 * @{
 */

#define ERRFILE_sbi_reboot	( ERRFILE_ARCH | ERRFILE_CORE | 0x00000000 )

/** @} */

#endif /* _BITS_ERRFILE_H */