diff --git a/libc/kernel/common/linux/watchdog.h b/libc/kernel/common/linux/watchdog.h
index 4cbff4b..ecc5d1a 100644
--- a/libc/kernel/common/linux/watchdog.h
+++ b/libc/kernel/common/linux/watchdog.h
@@ -42,24 +42,24 @@
 #define WDIOC_GETPRETIMEOUT _IOR(WATCHDOG_IOCTL_BASE, 9, int)
 /* WARNING: DO NOT EDIT, AUTO-GENERATED CODE - SEE TOP FOR INSTRUCTIONS */
 #define WDIOC_GETTIMELEFT _IOR(WATCHDOG_IOCTL_BASE, 10, int)
-#define WDIOF_UNKNOWN -1  
-#define WDIOS_UNKNOWN -1  
-#define WDIOF_OVERHEAT 0x0001  
+#define WDIOF_UNKNOWN -1
+#define WDIOS_UNKNOWN -1
+#define WDIOF_OVERHEAT 0x0001
 /* WARNING: DO NOT EDIT, AUTO-GENERATED CODE - SEE TOP FOR INSTRUCTIONS */
-#define WDIOF_FANFAULT 0x0002  
-#define WDIOF_EXTERN1 0x0004  
-#define WDIOF_EXTERN2 0x0008  
-#define WDIOF_POWERUNDER 0x0010  
+#define WDIOF_FANFAULT 0x0002
+#define WDIOF_EXTERN1 0x0004
+#define WDIOF_EXTERN2 0x0008
+#define WDIOF_POWERUNDER 0x0010
 /* WARNING: DO NOT EDIT, AUTO-GENERATED CODE - SEE TOP FOR INSTRUCTIONS */
-#define WDIOF_CARDRESET 0x0020  
-#define WDIOF_POWEROVER 0x0040  
-#define WDIOF_SETTIMEOUT 0x0080  
-#define WDIOF_MAGICCLOSE 0x0100  
+#define WDIOF_CARDRESET 0x0020
+#define WDIOF_POWEROVER 0x0040
+#define WDIOF_SETTIMEOUT 0x0080
+#define WDIOF_MAGICCLOSE 0x0100
 /* WARNING: DO NOT EDIT, AUTO-GENERATED CODE - SEE TOP FOR INSTRUCTIONS */
-#define WDIOF_PRETIMEOUT 0x0200  
-#define WDIOF_KEEPALIVEPING 0x8000  
-#define WDIOS_DISABLECARD 0x0001  
-#define WDIOS_ENABLECARD 0x0002  
+#define WDIOF_PRETIMEOUT 0x0200
+#define WDIOF_KEEPALIVEPING 0x8000
+#define WDIOS_DISABLECARD 0x0001
+#define WDIOS_ENABLECARD 0x0002
 /* WARNING: DO NOT EDIT, AUTO-GENERATED CODE - SEE TOP FOR INSTRUCTIONS */
-#define WDIOS_TEMPPANIC 0x0004  
+#define WDIOS_TEMPPANIC 0x0004
 #endif