| 57,6 → 57,12 |
|---|
| #define INTDRIVE_T 10000 |
| #define INTDRIVE_FLAG 0 |
| |
| void call_shutdown_task(void *arg); |
| int device_drivers_init(); |
| int device_drivers_close(); |
| void set_shutdown_task(); |
| TASK shutdown_task_body(void *arg); |
| |
| PID shutdown_task_PID = 1; |
| |
| TIME __kernel_register_levels__(void *arg) |
| 80,7 → 86,7 |
|---|
| KEYB26_close(); |
| INPUT26_close(); |
| |
| return 0; |
| return 0; |
| } |
| |
| int device_drivers_init() { |
| 105,7 → 111,7 |
|---|
| |
| device_drivers_close(); |
| sys_shutdown_message("-- S.Ha.R.K. Closed --\n"); |
| sys_end(); |
| sys_abort_shutdown(0); |
| |
| return NULL; |
| } |
| 116,7 → 122,6 |
|---|
| |
| nrt_task_default_model(nrt); |
| nrt_task_def_system(nrt); |
| nrt_task_def_nokill(nrt); |
| |
| shutdown_task_PID = task_create("Shutdown Task", shutdown_task_body, &nrt, NULL); |
| if (shutdown_task_PID == NIL) { |
| 126,7 → 131,17 |
|---|
| |
| } |
| |
| #define SHUTDOWN_TIMEOUT_SEC 3 |
| |
| void call_shutdown_task(void *arg) { |
| struct timespec t; |
| |
| sys_gettime(&t); |
| t.tv_sec += SHUTDOWN_TIMEOUT_SEC; |
| |
| /* Emergency timeout to exit from RUNLEVEL_SHUTDOWN */ |
| kern_event_post(&t,(void *)((void *)sys_abort_shutdown),(void *)0); |
| |
| task_activate(shutdown_task_PID); |
| } |
| |