#ifndef SBI_H
#define SBI_H

#include "cpu/rv32cpu.h"

#define SBI_EXTENSION_LEGACY_CONSOLE_PUTCHAR 0x1
#define SBI_EXTENSION_LEGACY_SHUTDOWN 0x8

void sbi_call(rv32_cpu_t* cpu, uint32_t extension_id, uint32_t func_id);

#endif