diff options
| -rw-r--r-- | drivers/rtc/rtc-m41t80.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/rtc/rtc-m41t80.c b/drivers/rtc/rtc-m41t80.c index ad03e2f12f5d..a3fb235fea0d 100644 --- a/drivers/rtc/rtc-m41t80.c +++ b/drivers/rtc/rtc-m41t80.c | |||
| @@ -745,7 +745,7 @@ static int wdt_ioctl(struct file *file, unsigned int cmd, | |||
| 745 | return -EINVAL; | 745 | return -EINVAL; |
| 746 | wdt_margin = new_margin; | 746 | wdt_margin = new_margin; |
| 747 | wdt_ping(); | 747 | wdt_ping(); |
| 748 | /* Fall */ | 748 | /* Fall through */ |
| 749 | case WDIOC_GETTIMEOUT: | 749 | case WDIOC_GETTIMEOUT: |
| 750 | return put_user(wdt_margin, (int __user *)arg); | 750 | return put_user(wdt_margin, (int __user *)arg); |
| 751 | 751 | ||
