Subversion Repositories HelenOS

Rev

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

Rev 2927 Rev 4348
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 
 */