make format

bradjc · ppannuto · commit dcf02b804131 · 2025-08-13T13:00:41.000-07:00
diff --git a/examples/servo/main.c b/examples/servo/main.c
@@ -2,10 +2,9 @@
 #include <stdlib.h>
 
 #include <libtock-sync/services/alarm.h>
-#include <libtock/tock.h>
 #include <libtock/interface/syscalls/servo_syscalls.h>
+#include <libtock/tock.h>
 
-#include "../../libtock/interface/syscalls/servo_syscalls.h"
 
 int main(void) {
   // Checks if the driver exists and, if not, returns -1.
diff --git a/examples/tests/adc/adc/main.c b/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;
diff --git a/examples/tests/callback_remove_test01/main.c b/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;
diff --git a/examples/tests/udp/udp_rx/main.c b/examples/tests/udp/udp_rx/main.c
@@ -7,8 +7,8 @@
 #include <libtock/interface/led.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.
diff --git a/examples/unit_tests/nrf52840dk-test/main.c b/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>
 
 
diff --git a/libtock-sync/net/ieee802154.c b/libtock-sync/net/ieee802154.c
@@ -1,7 +1,6 @@
 #include <stdio.h>
 
 #include <libtock-sync/services/alarm.h>
-
 #include <libtock/net/syscalls/ieee802154_syscalls.h>
 
 #include "ieee802154.h"
diff --git a/libtock/crypto/aes.c b/libtock/crypto/aes.c
@@ -1,4 +1,5 @@
 #include "aes.h"
+
 #include "syscalls/aes_syscalls.h"
 
 bool libtock_aes_exists(void) {
diff --git a/libtock/crypto/hmac.c b/libtock/crypto/hmac.c
@@ -1,4 +1,5 @@
 #include "hmac.h"
+
 #include "syscalls/hmac_syscalls.h"
 
 static void hmac_upcall(int ret,
diff --git a/libtock/crypto/sha.c b/libtock/crypto/sha.c
@@ -1,4 +1,5 @@
 #include "sha.h"
+
 #include "syscalls/sha_syscalls.h"
 
 static void sha_upcall(int status,
diff --git a/libtock/display/screen.c b/libtock/display/screen.c
@@ -1,6 +1,7 @@
 #include <stdlib.h>
 
 #include "screen.h"
+
 #include "syscalls/screen_syscalls.h"
 
 static void screen_callback_done(int                          status,
diff --git a/libtock/display/text_screen.c b/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,
diff --git a/libtock/interface/button.c b/libtock/interface/button.c
@@ -1,4 +1,5 @@
 #include "button.h"
+
 #include "syscalls/button_syscalls.h"
 
 bool libtock_button_exists(void) {
diff --git a/libtock/interface/buzzer.c b/libtock/interface/buzzer.c
@@ -1,4 +1,5 @@
 #include "buzzer.h"
+
 #include "syscalls/buzzer_syscalls.h"
 
 static void libtock_buzzer_temp_upcall(__attribute__ ((unused)) int arg0,
diff --git a/libtock/interface/console.c b/libtock/interface/console.c
@@ -3,6 +3,7 @@
 #include <unistd.h>
 
 #include "console.h"
+
 #include "syscalls/console_syscalls.h"
 
 static void generic_upcall(int   status,
diff --git a/libtock/interface/led.c b/libtock/interface/led.c
@@ -1,4 +1,5 @@
 #include "led.h"
+
 #include "syscalls/led_syscalls.h"
 
 bool libtock_led_exists(void) {
diff --git a/libtock/interface/usb_keyboard_hid.c b/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,
diff --git a/libtock/kernel/app_loader.c b/libtock/kernel/app_loader.c
@@ -1,4 +1,5 @@
 #include "app_loader.h"
+
 #include "syscalls/app_loader_syscalls.h"
 
 bool libtock_app_loader_exists(void) {
diff --git a/libtock/kernel/process_info.c b/libtock/kernel/process_info.c
@@ -1,4 +1,5 @@
 #include "process_info.h"
+
 #include "syscalls/process_info_syscalls.h"
 
 
diff --git a/libtock/kernel/read_only_state.c b/libtock/kernel/read_only_state.c
@@ -1,4 +1,5 @@
 #include "read_only_state.h"
+
 #include "syscalls/read_only_state_syscalls.h"
 
 
diff --git a/libtock/net/eui64.c b/libtock/net/eui64.c
@@ -1,4 +1,5 @@
 #include "eui64.h"
+
 #include "syscalls/eui64_syscalls.h"
 
 bool libtock_eui64_exists(void) {
diff --git a/libtock/net/ieee802154.c b/libtock/net/ieee802154.c
@@ -1,6 +1,7 @@
 #include <string.h>
 
 #include "ieee802154.h"
+
 #include "syscalls/ieee802154_syscalls.h"
 
 bool libtock_ieee802154_exists(void) {
diff --git a/libtock/net/lora_phy.c b/libtock/net/lora_phy.c
@@ -1,4 +1,5 @@
 #include "lora_phy.h"
+
 #include "syscalls/lora_phy_syscalls.h"
 
 static void lora_phy_spi_upcall(__attribute__ ((unused)) int unused0,
diff --git a/libtock/net/nrf51_serialization.c b/libtock/net/nrf51_serialization.c
@@ -1,4 +1,5 @@
 #include "nrf51_serialization.h"
+
 #include "syscalls/nrf51_serialization_syscalls.h"
 
 bool libtock_nrf51_serialization_exists(void) {
diff --git a/libtock/net/udp.c b/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();
diff --git a/libtock/peripherals/adc.c b/libtock/peripherals/adc.c
@@ -1,4 +1,5 @@
 #include "adc.h"
+
 #include "syscalls/adc_syscalls.h"
 
 
diff --git a/libtock/peripherals/analog_comparator.c b/libtock/peripherals/analog_comparator.c
@@ -1,4 +1,5 @@
 #include "analog_comparator.h"
+
 #include "syscalls/analog_comparator_syscalls.h"
 
 bool libtock_analog_comparator_exists(void) {
diff --git a/libtock/peripherals/crc.c b/libtock/peripherals/crc.c
@@ -1,4 +1,5 @@
 #include "crc.h"
+
 #include "syscalls/crc_syscalls.h"
 
 static void crc_upcall(int status, int v1, __attribute__((unused)) int v2, void* opaque) {
diff --git a/libtock/peripherals/dac.c b/libtock/peripherals/dac.c
@@ -1,4 +1,5 @@
 #include "dac.h"
+
 #include "syscalls/dac_syscalls.h"
 
 bool libtock_dac_exists(void) {
diff --git a/libtock/peripherals/gpio.c b/libtock/peripherals/gpio.c
@@ -1,4 +1,5 @@
 #include "gpio.h"
+
 #include "syscalls/gpio_syscalls.h"
 
 static void gpio_upcall(int                          pin_number,
diff --git a/libtock/peripherals/gpio_async.c b/libtock/peripherals/gpio_async.c
@@ -1,4 +1,5 @@
 #include "gpio_async.h"
+
 #include "syscalls/gpio_async_syscalls.h"
 
 static void gpio_async_upcall_interrupt(int                          pin_number,
diff --git a/libtock/peripherals/rng.c b/libtock/peripherals/rng.c
@@ -1,4 +1,5 @@
 #include "rng.h"
+
 #include "syscalls/rng_syscalls.h"
 
 // Internal upcall.
diff --git a/libtock/peripherals/rtc.c b/libtock/peripherals/rtc.c
@@ -1,4 +1,5 @@
 #include "rtc.h"
+
 #include "syscalls/rtc_syscalls.h"
 
 // DateTime codifies Date structure into two u32 (int) numbers
diff --git a/libtock/peripherals/spi_controller.c b/libtock/peripherals/spi_controller.c
@@ -1,4 +1,5 @@
 #include "spi_controller.h"
+
 #include "syscalls/spi_controller_syscalls.h"
 
 bool libtock_spi_controller_exists(void) {
diff --git a/libtock/peripherals/spi_peripheral.c b/libtock/peripherals/spi_peripheral.c
@@ -1,4 +1,5 @@
 #include "spi_peripheral.h"
+
 #include "syscalls/spi_peripheral_syscalls.h"
 
 bool libtock_spi_peripheral_exists(void) {
diff --git a/libtock/peripherals/usb.c b/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,
diff --git a/libtock/sensors/ambient_light.c b/libtock/sensors/ambient_light.c
@@ -1,4 +1,5 @@
 #include "ambient_light.h"
+
 #include "syscalls/ambient_light_syscalls.h"
 
 // callback for synchronous reads
diff --git a/libtock/sensors/humidity.c b/libtock/sensors/humidity.c
@@ -1,4 +1,5 @@
 #include "humidity.h"
+
 #include "syscalls/humidity_syscalls.h"
 
 static void humidity_upcall(int humidity,
diff --git a/libtock/sensors/moisture.c b/libtock/sensors/moisture.c
@@ -1,4 +1,5 @@
 #include "moisture.h"
+
 #include "syscalls/moisture_syscalls.h"
 
 static void moisture_upcall(int status,
diff --git a/libtock/sensors/ninedof.c b/libtock/sensors/ninedof.c
@@ -1,4 +1,5 @@
 #include "ninedof.h"
+
 #include "syscalls/ninedof_syscalls.h"
 
 // internal callback for faking synchronous reads
diff --git a/libtock/sensors/pressure.c b/libtock/sensors/pressure.c
@@ -1,4 +1,5 @@
 #include "pressure.h"
+
 #include "syscalls/pressure_syscalls.h"
 
 static void pressure_upcall(int                          pressure,
diff --git a/libtock/sensors/proximity.c b/libtock/sensors/proximity.c
@@ -1,4 +1,5 @@
 #include "proximity.h"
+
 #include "syscalls/proximity_syscalls.h"
 
 // Internal callback for faking synchronous reads
diff --git a/libtock/sensors/rainfall.c b/libtock/sensors/rainfall.c
@@ -1,4 +1,5 @@
 #include "rainfall.h"
+
 #include "syscalls/rainfall_syscalls.h"
 
 static void rainfall_upcall(int status,
diff --git a/libtock/sensors/sound_pressure.c b/libtock/sensors/sound_pressure.c
@@ -1,4 +1,5 @@
 #include "sound_pressure.h"
+
 #include "syscalls/sound_pressure_syscalls.h"
 
 static void sound_pressure_upcall(int                          sound_pressure,
diff --git a/libtock/sensors/temperature.c b/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,
diff --git a/libtock/sensors/touch.c b/libtock/sensors/touch.c
@@ -1,7 +1,7 @@
 #include <stdlib.h>
 
-#include "touch.h"
 #include "syscalls/touch_syscalls.h"
+#include "touch.h"
 
 static void single_touch_upcall(int                          touch_status,
                                 int                          xy,
diff --git a/libtock/services/alarm.c b/libtock/services/alarm.c
@@ -1,8 +1,8 @@
 #include <assert.h>
 #include <stdlib.h>
 
-#include "alarm.h"
 #include "../peripherals/syscalls/alarm_syscalls.h"
+#include "alarm.h"
 
 
 #define MAX_TICKS UINT32_MAX
diff --git a/libtock/storage/app_state.c b/libtock/storage/app_state.c
@@ -1,6 +1,7 @@
 #include <string.h>
 
 #include "app_state.h"
+
 #include "syscalls/app_state_syscalls.h"
 
 
diff --git a/libtock/storage/kv.c b/libtock/storage/kv.c
@@ -1,4 +1,5 @@
 #include "kv.h"
+
 #include "syscalls/kv_syscalls.h"
 
 static void kv_upcall_get(int                          status,
diff --git a/libtock/storage/nonvolatile_storage.c b/libtock/storage/nonvolatile_storage.c
@@ -1,4 +1,5 @@
 #include "nonvolatile_storage.h"
+
 #include "syscalls/nonvolatile_storage_syscalls.h"
 
 static void write_done(int                          length,
diff --git a/libtock/storage/sdcard.c b/libtock/storage/sdcard.c
@@ -1,4 +1,5 @@
 #include "sdcard.h"
+
 #include "syscalls/sdcard_syscalls.h"
 
 // Internal callback for creating synchronous functions

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "aes.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/aes_syscalls.h"`
`3`	`4`
`4`	`5`	`bool libtock_aes_exists(void) {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "hmac.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/hmac_syscalls.h"`
`3`	`4`
`4`	`5`	`static void hmac_upcall(int ret,`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "sha.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/sha_syscalls.h"`
`3`	`4`
`4`	`5`	`static void sha_upcall(int status,`