make format

bradjc · bradjc · commit f85c6d0d0d68 · 2025-07-28T13:36:43.000-04:00
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 ret,
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/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   ret,
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/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/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/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/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                          err,
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 ret,`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "button.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/button_syscalls.h"`
`3`	`4`
`4`	`5`	`bool libtock_button_exists(void) {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "buzzer.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/buzzer_syscalls.h"`
`3`	`4`
`4`	`5`	`static void libtock_buzzer_temp_upcall(__attribute__ ((unused)) int arg0,`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "led.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/led_syscalls.h"`
`3`	`4`
`4`	`5`	`bool libtock_led_exists(void) {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include "app_loader.h"`
	`2`	`+`
`2`	`3`	`#include "syscalls/app_loader_syscalls.h"`
`3`	`4`
`4`	`5`	`bool libtock_app_loader_exists(void) {`