/* We need to reset the 8042 back to original mode on system shutdown, because otherwise BIOSes will be confused.  */
static void i8042_shutdown(struct platform_device *dev)
/* We need to reset the 8042 back to original mode on system shutdown, because otherwise BIOSes will be confused.  */
static void i8042_shutdown(struct platform_device *dev)
{
	i8042_controller_reset();
}