Symbol: EX_VKERNEL_REBOOT
sys/platform/vkernel64/platform/init.c
1479
exit(EX_VKERNEL_REBOOT);
sys/platform/vkernel64/platform/init.c
228
if (WEXITSTATUS(status) != EX_VKERNEL_REBOOT)