Symbol: halt_skas
arch/um/include/shared/os.h
301
extern void halt_skas(void);
arch/um/kernel/reboot.c
55
halt_skas();