long sys_reboot(int magic1, int magic2, int cmd, void * arg)
{
switch (cmd) {
case 0x89ABCDEF:
break;
case 0x00000000:
case 0xCDEF0123:
case 0x4321FEDC:
case 0xA1B2C3D4:
default:
};
return 0;
}