/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; |