trivial: Style libsel4platsupport/src/serial.c

libsel4platsupport/src/serial.c

diff --git a/libsel4platsupport/src/serial.c b/libsel4platsupport/src/serial.c
index 67e8f5a..059ecd1 100644
--- a/libsel4platsupport/src/serial.c
+++ b/libsel4platsupport/src/serial.c
@@ -16,13 +16,12 @@
 #include <stddef.h>
 #include <vka/object.h>
 
-static ssize_t
-debug_write(ps_chardevice_t* device UNUSED, const void* vdata, size_t count,
-            chardev_callback_t cb UNUSED, void* token UNUSED)
+static ssize_t debug_write(ps_chardevice_t *device UNUSED, const void *vdata, size_t count,
+                           chardev_callback_t cb UNUSED, void *token UNUSED)
 {
 #ifdef CONFIG_PRINTING
     size_t sent = 0;
-    const char* data = (const char*)vdata;
+    const char *data = (const char *)vdata;
     for (sent = 0; sent < count; sent++) {
         seL4_DebugPutChar(*data++);
     }
@@ -36,16 +35,14 @@
 static struct ps_chardevice console_device = {
     .write = &debug_write
 };
-static struct ps_chardevice* console = &console_device;
+static struct ps_chardevice *console = &console_device;
 
-void
-register_console(struct ps_chardevice* user_console)
+void register_console(struct ps_chardevice *user_console)
 {
     console = user_console;
 }
 
-int
-__plat_serial_init(ps_io_ops_t* io_ops)
+int __plat_serial_init(ps_io_ops_t *io_ops)
 {
     struct ps_chardevice temp_device;
     if (ps_cdev_init(PS_SERIAL_DEFAULT, io_ops, &temp_device)) {
@@ -61,16 +58,14 @@
     }
 }
 
-void
-__plat_putchar(int c)
+void __plat_putchar(int c)
 {
     if (console) {
         ps_cdev_putchar(console, c);
     }
 }
 
-int
-__plat_getchar(void)
+int __plat_getchar(void)
 {
     if (console) {
         return ps_cdev_getchar(console);