SBI_EXT_0_1_SHUTDOWN
sbi_ecall(SBI_EXT_0_1_SHUTDOWN, 0, 0, 0, 0, 0, 0, 0);
cp->a7 <= SBI_EXT_0_1_SHUTDOWN)
.extid_end = SBI_EXT_0_1_SHUTDOWN,
case SBI_EXT_0_1_SHUTDOWN: