diff options
-rw-r--r-- | drivers/input/serio/i8042.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/input/serio/i8042.c b/drivers/input/serio/i8042.c index 06b05dd22485..c2eea2767e10 100644 --- a/drivers/input/serio/i8042.c +++ b/drivers/input/serio/i8042.c | |||
@@ -1040,7 +1040,7 @@ static void __devinit i8042_register_ports(void) | |||
1040 | } | 1040 | } |
1041 | } | 1041 | } |
1042 | 1042 | ||
1043 | static void __devinit i8042_unregister_ports(void) | 1043 | static void __devexit i8042_unregister_ports(void) |
1044 | { | 1044 | { |
1045 | int i; | 1045 | int i; |
1046 | 1046 | ||