serial-{get,reset}-counter: Use same spacing as in Linux

Signed-off-by: Miquel Raynal <miquel.raynal@bootlin.com>
bootlin · Oct 29, 2021 · 1406752 · 1406752
1 parent 3849a78
commit 1406752
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 35 deletions.
diff --git a/lab-data/linux-kernel/modules/nfsroot/root/serial/serial-get-counter.c b/lab-data/linux-kernel/modules/nfsroot/root/serial/serial-get-counter.c
@@ -10,26 +10,26 @@
 
 int main(int argc, char *argv[])
 {
-    unsigned int val;
-    int fd, ret;
+	unsigned int val;
+	int fd, ret;
 
-    if (argc != 2) {
-	fprintf(stderr, "Usage: %s /dev/UART\n", argv[0]);
-	exit (1);
-    }
+	if (argc != 2) {
+		fprintf(stderr, "Usage: %s /dev/UART\n", argv[0]);
+		exit(1);
+	}
 
-    fd = open(argv[1], O_RDWR);
-    if (fd < 0) {
-	fprintf(stderr, "Unable to open %s\n", argv[1]);
-        exit (1);
-    }
+	fd = open(argv[1], O_RDWR);
+	if (fd < 0) {
+		fprintf(stderr, "Unable to open %s\n", argv[1]);
+		exit(1);
+	}
 
-    ret = ioctl(fd, SERIAL_GET_COUNTER, & val);
-    if (ret < 0) {
-        fprintf(stderr, "Unable to get counter\n");
-        exit (1);
-    }
+	ret = ioctl(fd, SERIAL_GET_COUNTER, &val);
+	if (ret < 0) {
+		fprintf(stderr, "Unable to get counter\n");
+		exit(1);
+	}
 
-    printf("Counter value: %d\n", val);
-    return 0;
+	printf("Counter value: %d\n", val);
+	return 0;
 }
diff --git a/lab-data/linux-kernel/modules/nfsroot/root/serial/serial-reset-counter.c b/lab-data/linux-kernel/modules/nfsroot/root/serial/serial-reset-counter.c
@@ -10,25 +10,26 @@
 
 int main(int argc, char *argv[])
 {
-    int fd, ret;
+	int fd, ret;
 
-    if (argc != 2) {
-	fprintf(stderr, "Usage: %s /dev/UART\n", argv[0]);
-	exit (1);
-    }
+	if (argc != 2) {
+		fprintf(stderr, "Usage: %s /dev/UART\n", argv[0]);
+		exit(1);
+	}
 
-    fd = open(argv[1], O_RDWR);
-    if (fd < 0) {
-	fprintf(stderr, "Unable to open %s\n", argv[1]);
-        exit (1);
-    }
+	fd = open(argv[1], O_RDWR);
+	if (fd < 0) {
+		fprintf(stderr, "Unable to open %s\n", argv[1]);
+		exit(1);
+	}
 
-    ret = ioctl(fd, SERIAL_RESET_COUNTER);
-    if (ret < 0) {
-        fprintf(stderr, "Unable to reset counter\n");
-        exit (1);
-    }
+	ret = ioctl(fd, SERIAL_RESET_COUNTER);
+	if (ret < 0) {
+		fprintf(stderr, "Unable to reset counter\n");
+		exit(1);
+	}
 
-    printf("Counter reset\n");
-    return 0;
+
+	printf("Counter reset\n");
+	return 0;
 }