SBI_SRST_SYSTEM_RESET
(void)SBI_CALL2(SBI_EXT_ID_SRST, SBI_SRST_SYSTEM_RESET,
case SBI_SRST_SYSTEM_RESET: