Symbol: sw_reset_and_clock