00001 /* 00002 * kernel_sys/machine.c 00003 * 00004 * Copyright (c) 2003-2004 Lukasz Dembinski <dembol@nasa.com.pl> 00005 * All Rights Reserved 00006 * 00007 * Date: 2004/01 00008 * Author: Lukasz Dembinski 00009 * Info: machine.c core file 00010 * Contact: mailto: <dembol@nasa.com.pl> 00011 * 00012 */ 00013 00014 #include <agnix/agnix.h> 00015 #include <agnix/console.h> 00016 #include <asm/machine.h> 00017 00018 #define MOD_NAME "MACHINE: " 00019 00020 int do_sys_reboot(void) 00021 { 00022 printk(MOD_NAME "System is rebooting ..."); 00023 00024 do_machine_reboot(); 00025 00026 return 0; 00027 }