Subversion Repositories HelenOS

Rev

Rev 2787 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2787 Rev 4377
Line 30... Line 30...
30
 * @{
30
 * @{
31
 */
31
 */
32
 
32
 
33
/**
33
/**
34
 * @file
34
 * @file
35
 * @brief   Shutdown procedures.
35
 * @brief Shutdown procedures.
36
 */
36
 */
37
 
37
 
38
#include <arch.h>
38
#include <arch.h>
-
 
39
#include <func.h>
39
#include <print.h>
40
#include <print.h>
40
 
41
 
41
void reboot(void)
42
void reboot(void)
42
{
43
{
43
    task_done();
44
    task_done();
Line 45... Line 46...
45
#ifdef CONFIG_DEBUG
46
#ifdef CONFIG_DEBUG
46
    printf("Rebooting the system\n");
47
    printf("Rebooting the system\n");
47
#endif
48
#endif
48
   
49
   
49
    arch_reboot();
50
    arch_reboot();
-
 
51
    halt();
50
}
52
}
51
 
53
 
52
/** @}
54
/** @}
53
 */
55
 */