Works like a charm, problem fixed! Thanks a lot. I hope you submit the patch.
Best Regards -- Pierre Sauter Studentenwerk München IT-Abteilung Leopoldstraße 15 80802 München Tel: +49 89 38196-157 ------- Am Dienstag, 31. Mai 2016, 10:13:10 schrieben Sie: > On Mon, 2016-05-30 at 18:47 +0200, Pierre Sauter wrote: > > On unplugging this USB Touchscreen, everytime I get either: > > > > [ 161.596055] BUG: unable to handle kernel NULL pointer dereference at > > 00000015 > > [ 161.596093] IP: [<c10c92b0>] get_next_timer_interrupt+0x80/0x270 > > or > > [ 155.892061] BUG: unable to handle kernel paging request at 30303046 > > [ 155.892101] IP: [<c10d13da>] get_next_timer_interrupt+0x8a/0x290 > > > > and then panic and the system is unresponsive. > > Please try the attached patch. > > Regards > Oliver >
