ps2_interrupt

419

status = install_io_interrupt_handler(INT_PS2_KEYBOARD, &ps2_interrupt,

424

status = install_io_interrupt_handler(INT_PS2_MOUSE, &ps2_interrupt, NULL,

483

remove_io_interrupt_handler(INT_PS2_MOUSE, &ps2_interrupt, NULL);

485

remove_io_interrupt_handler(INT_PS2_KEYBOARD, &ps2_interrupt, NULL);

502

remove_io_interrupt_handler(INT_PS2_MOUSE, &ps2_interrupt, NULL);

503

remove_io_interrupt_handler(INT_PS2_KEYBOARD, &ps2_interrupt, NULL);