tty_register_ldisc(N_MOUSE, NULL); 
tty_unregister_ldisc(N_MOUSE); 
static void __exit serport_exit(void){	tty_register_ldisc(N_MOUSE, NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64ccd715d3cf498318b14b646ce5f97e7ab15bb5/serport.c/buggy/drivers/input/serio/serport.c