reboot_skas       295 arch/um/include/shared/os.h extern void reboot_skas(void);
reboot_skas        48 arch/um/kernel/reboot.c 	reboot_skas();