halt_skas         294 arch/um/include/shared/os.h extern void halt_skas(void);
halt_skas          54 arch/um/kernel/reboot.c 	halt_skas();