tree c9fe3ec30e6b4086e18f6c68baf5d13ea55eeb81
parent f0b92b961b222fa1012058a773dfca1c5f21a498
author Dmitry Torokhov <dmitry.torokhov@gmail.com> 1194151471 -0400
committer Dmitry Torokhov <dmitry.torokhov@gmail.com> 1200895867 -0500

Input: i8042 - use synchronize_irq() instead of synchronize_sched()

RT guys advised me that in their kernels synchronize_sched() will not
work to ensure that all IRQ handlers run to their completion and that
synchronize_irq() should be used instead.

Signed-off-by: Dmitry Torokhov <dtor@mail.ru>