| /shark/trunk/drivers/linuxc26/shark_linuxc26.c |
|---|
| 53,7 → 53,7 |
| res = shark_interrupt_server(); |
| if (res != 0) { |
| printk("ERROR: CANNOT REGISTER LINUX COMPATIBILITY LAYER\n"); |
| sys_end(); |
| exit(1); |
| } |
| return 0; |
| /shark/trunk/drivers/linuxc26/waitqueue.c |
|---|
| 105,7 → 105,7 |
| { |
| printk(KERN_DEBUG "@get_current26 out of memory!!!\n"); |
| // |
| // sys_abort? |
| // exit? |
| // |
| } |
| tsp->pid = exec_shadow; |
| /shark/trunk/drivers/linuxc26/shark_videodev.c |
|---|
| 28,7 → 28,7 |
| if (videodev_open_inode(num)) { |
| sys_shutdown_message("VIDEODEV26 ERROR: Cannot open the VideoDev driver\n"); |
| sys_end(); |
| exit(1); |
| } |
| return 0; |