return INLINE_SYSCALL (reboot, 3, 0xfee1dead, 672274793, howto);
return INLINE_SYSCALL (reboot, 3, (int) 0xfee1dead, 672274793, howto);
reboot (int howto){  return INLINE_SYSCALL (reboot, 3, 0xfee1dead, 672274793, howto);}