Changes in kernel/arch/riscv64/src/drivers/ucb.c [fcfe416:a35b458] in mainline

File:

• kernel/arch/riscv64/src/drivers/ucb.c (modified) (3 diffs)

kernel/arch/riscv64/src/drivers/ucb.c

@@ -53 +53 @@
         if (!val)
                 return;
-        
+
         *fromhost = 0;
 }
@@ -68 +68 @@
         if (!htifdev)
                 return NULL;
-        
+
         outdev_initialize("htifdev", htifdev, &htifdev_ops);
         return htifdev;
@@ -78 +78 @@
             (((uint64_t) cmd) << 48) |
             (payload & UINT64_C(0xffffffffffff));
-        
+
         while (*tohost)
                 poll_fromhost();
-        
+
         *tohost = val;
 }