Searched refs:marvel_kill_arch (Results 1 – 3 of 3) sorted by relevance
38 extern void marvel_kill_arch(int);
461 .kill_arch = marvel_kill_arch,
470 marvel_kill_arch(int mode) in marvel_kill_arch() function