forked from Imagelibrary/rtems
* clock/ckinit.c, console/console.c, console/ps2_mouse.c, console/serial_mouse.c, timer/timer.c: Added parameter to irq handler
* clock/ckinit.c, console/console.c, console/ps2_mouse.c, console/serial_mouse.c, timer/timer.c: Added parameter to irq handler