Symbol: si_halt_smc