Searched refs:db1x_reset (Results 1 – 1 of 1) sorted by relevance
46 static void db1x_reset(char *c) in db1x_reset() function59 _machine_restart = db1x_reset; in db1x_late_setup()