--- Gnu-Mach/device/ds_routines.c	2020/09/02 04:41:26	1.1.1.2
+++ Gnu-Mach/device/ds_routines.c	2020/09/02 04:43:03	1.1.1.3
@@ -163,7 +163,7 @@ ds_device_open(open_port, reply_port, re
 			return (MIG_NO_REPLY);
 		}
 	}
-#endif	NORMA_DEVICE
+#endif	/* NORMA_DEVICE */
 #endif	/* ! i386 */
 
 	/*
@@ -896,7 +896,7 @@ ds_device_read(device, reply_port, reply
 #ifdef lint
 	*data = *data;
 	*data_count = *data_count;
-#endif lint
+#endif /* lint */
 
 #ifndef i386
 	/*
@@ -996,7 +996,7 @@ ds_device_read_inband(device, reply_port
 #ifdef lint
 	*data = *data;
 	*data_count = *data_count;
-#endif lint
+#endif /* lint */
 
 #ifndef i386
 	/*
@@ -1332,7 +1332,7 @@ ds_device_map(device, protection, offset
 
 #ifdef	lint
 	unmap = unmap;
-#endif	lint
+#endif	/* lint */
 	if (protection & ~VM_PROT_ALL)
 		return (KERN_INVALID_ARGUMENT);