Symbol: db_mach_reset_cmd