format

Author: bradjc

examples/servo/main.c

@@ -1,6 +1,6 @@
 #include <libtock-sync/services/alarm.h>
-#include <libtock/tock.h>
 #include <libtock/interface/syscalls/servo_syscalls.h>
+#include <libtock/tock.h>
 #include <stdio.h>
 #include <stdlib.h>
 

examples/tests/adc/adc/main.c

@@ -4,9 +4,9 @@
 #include <unistd.h>
 
 #include <libtock-sync/peripherals/adc.h>
-#include <libtock/peripherals/syscalls/adc_syscalls.h>
 #include <libtock-sync/services/alarm.h>
 #include <libtock/interface/console.h>
+#include <libtock/peripherals/syscalls/adc_syscalls.h>
 #include <libtock/tock.h>
 
 int reference_voltage;

examples/tests/callback_remove_test01/main.c

@@ -1,8 +1,8 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-#include <libtock/peripherals/syscalls/alarm_syscalls.h>
 #include <libtock-sync/services/alarm.h>
+#include <libtock/peripherals/syscalls/alarm_syscalls.h>
 
 volatile int a = 0;
 int b = 0;

examples/tests/udp/udp_rx/main.c

@@ -9,8 +9,8 @@
 #include <libtock-sync/net/ieee802154.h>
 #include <libtock/net/ieee802154.h>
 #include <libtock/net/syscalls/ieee802154_syscalls.h>
-#include <libtock/net/udp.h>
 #include <libtock/net/syscalls/udp_syscalls.h>
+#include <libtock/net/udp.h>
 
 /*
  * UDP sample packet reception app.

examples/unit_tests/nrf52840dk-test/main.c

@@ -4,8 +4,8 @@
 #include <libtock-sync/services/alarm.h>
 #include <libtock-sync/services/unit_test.h>
 #include <libtock/interface/button.h>
-#include <libtock/interface/syscalls/button_syscalls.h>
 #include <libtock/interface/led.h>
+#include <libtock/interface/syscalls/button_syscalls.h>
 #include <libtock/peripherals/gpio.h>
 
 

libtock/display/text_screen.c

@@ -1,5 +1,5 @@
-#include "text_screen.h"
 #include "syscalls/text_screen_syscalls.h"
+#include "text_screen.h"
 
 static void text_screen_callback(int                          status,
                                  __attribute__ ((unused)) int data1,

libtock/interface/usb_keyboard_hid.c

@@ -1,5 +1,5 @@
-#include "usb_keyboard_hid.h"
 #include "syscalls/usb_keyboard_hid_syscalls.h"
+#include "usb_keyboard_hid.h"
 
 static void usb_keyboard_hid_upcall(__attribute__ ((unused)) int callback_type,
                                     __attribute__ ((unused)) int unused1,

libtock/net/udp.c

@@ -1,7 +1,7 @@
 #include <string.h>
 
-#include "udp.h"
 #include "syscalls/udp_syscalls.h"
+#include "udp.h"
 
 bool libtock_udp_exists(void) {
   return libtock_udp_driver_exists();

libtock/peripherals/usb.c

@@ -1,5 +1,5 @@
-#include "usb.h"
 #include "syscalls/usb_syscalls.h"
+#include "usb.h"
 
 static void usb_upcall(int                         status,
                        __attribute__((unused)) int v1,

libtock/sensors/temperature.c

@@ -1,5 +1,5 @@
-#include "temperature.h"
 #include "syscalls/temperature_syscalls.h"
+#include "temperature.h"
 
 // Internal upcall for passing to the syscall driver.
 static void temperature_upcall(int                          temp,