Symbol: reboot_skas
arch/um/include/shared/os.h
302
extern void reboot_skas(void);
arch/um/kernel/reboot.c
49
reboot_skas();