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