2014-03-01 09:36:17 +01:00
|
|
|
/*
|
2014-05-15 18:07:02 +02:00
|
|
|
* Copyright (C) 2014 Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
|
2014-03-01 09:36:17 +01:00
|
|
|
*
|
2014-07-31 19:45:27 +02:00
|
|
|
* This file is subject to the terms and conditions of the GNU Lesser
|
|
|
|
* General Public License v2.1. See the file LICENSE in the top level
|
|
|
|
* directory for more details.
|
2014-03-01 09:36:17 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @ingroup core_util
|
|
|
|
* @{
|
|
|
|
*
|
|
|
|
* @file reboot.c
|
|
|
|
* @brief Reboot function
|
|
|
|
*
|
|
|
|
* @author Ludwig Ortmann <ludwig.ortmann@fu-berlin.de
|
|
|
|
*
|
|
|
|
* @}
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "kernel.h"
|
2014-03-17 17:59:06 +01:00
|
|
|
#include "arch/reboot_arch.h"
|
2014-03-01 09:36:17 +01:00
|
|
|
|
|
|
|
int reboot(int mode)
|
|
|
|
{
|
|
|
|
if (mode != RB_AUTOBOOT) {
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return reboot_arch(mode);
|
|
|
|
}
|