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