Searched refs:markeins_machine_restart (Results 1 – 1 of 1) sorted by relevance
37 static void markeins_machine_restart(char *command) in markeins_machine_restart() function104 _machine_restart = markeins_machine_restart; in plat_mem_setup()