SBI_EXT_SRST_RESET
sbi_ecall(SBI_EXT_SRST, SBI_EXT_SRST_RESET, type, reason,
case SBI_EXT_SRST_RESET: