static void spitzkbd_timer_callback(unsigned long data){	struct spitzkbd *spitzkbd_data = (struct spitzkbd *) data;	spitzkbd_scankeyboard(spitzkbd_data, NULL);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c42f0c3dde8feb59fc87df45cadb847d5511c0a/spitzkbd.c/clean/drivers/input/keyboard/spitzkbd.c