examples: fix includes

bradjc · ppannuto · commit 1836056163cc · 2025-08-13T13:00:41.000-07:00
diff --git a/examples/lvgl/main.c b/examples/lvgl/main.c
@@ -4,6 +4,7 @@
 
 #include <libtock-sync/display/screen.h>
 #include <libtock-sync/services/alarm.h>
+#include <libtock/peripherals/syscalls/alarm_syscalls.h>
 
 #include "lvgl_driver.h"
 
diff --git a/examples/services/ble-env-sense/test-with-sensors/main.c b/examples/services/ble-env-sense/test-with-sensors/main.c
@@ -45,7 +45,7 @@ static void do_sensing_cb(__attribute__ ((unused)) uint32_t now,
   int temp  = 0;
   int humi  = 0;
 
-  if (driver_exists(DRIVER_NUM_AMBIENT_LIGHT)) {
+  if (libtocksync_ambient_light_exists()) {
     libtocksync_ambient_light_read_intensity(&light);
 
     update->type  = SENSOR_IRRADIANCE;
@@ -55,7 +55,7 @@ static void do_sensing_cb(__attribute__ ((unused)) uint32_t now,
     yield_for(&_ipc_done);
   }
 
-  if (driver_exists(DRIVER_NUM_TEMPERATURE)) {
+  if (libtocksync_temperature_exists()) {
     libtocksync_temperature_read(&temp);
 
     update->type  = SENSOR_TEMPERATURE;
@@ -65,7 +65,7 @@ static void do_sensing_cb(__attribute__ ((unused)) uint32_t now,
     yield_for(&_ipc_done);
   }
 
-  if (driver_exists(DRIVER_NUM_HUMIDITY)) {
+  if (libtocksync_humidity_exists()) {
     libtocksync_humidity_read(&humi);
 
     update->type  = SENSOR_HUMIDITY;
diff --git a/examples/servo/main.c b/examples/servo/main.c
@@ -3,12 +3,13 @@
 
 #include <libtock-sync/services/alarm.h>
 #include <libtock/tock.h>
+#include <libtock/interface/syscalls/servo_syscalls.h>
 
 #include "../../libtock/interface/syscalls/servo_syscalls.h"
 
 int main(void) {
   // Checks if the driver exists and, if not, returns -1.
-  if (!libtock_servo_exists()) {
+  if (!libtock_servo_driver_exists()) {
     printf("There is no available servo\n");
     return -1;
   }
diff --git a/examples/tests/adc/adc/main.c b/examples/tests/adc/adc/main.c
@@ -4,6 +4,7 @@
 #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/tock.h>
diff --git a/examples/tests/alarms/multi_alarm_simple_overflow_test/main.c b/examples/tests/alarms/multi_alarm_simple_overflow_test/main.c
@@ -2,6 +2,7 @@
 #include <stdlib.h>
 
 #include <libtock-sync/services/alarm.h>
+#include <libtock/peripherals/syscalls/alarm_syscalls.h>
 
 static void event_cb(uint32_t now, uint32_t expiration, void* ud) {
   int i = (int)ud;
diff --git a/examples/tests/analog_comparator/main.c b/examples/tests/analog_comparator/main.c
@@ -4,6 +4,7 @@
 
 #include <libtock-sync/services/alarm.h>
 #include <libtock/peripherals/analog_comparator.h>
+#include <libtock/peripherals/syscalls/analog_comparator_syscalls.h>
 #include <libtock/tock.h>
 
 static int callback_channel;
diff --git a/examples/tests/callback_remove_test01/main.c b/examples/tests/callback_remove_test01/main.c
@@ -1,6 +1,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
+#include <libtock/peripherals/syscalls/alarm_syscalls.h>
 #include <libtock-sync/services/alarm.h>
 
 volatile int a = 0;
diff --git a/examples/tests/i2c/i2c_master_slave_ping_pong/main.c b/examples/tests/i2c/i2c_master_slave_ping_pong/main.c
@@ -5,6 +5,7 @@
 
 #include <libtock-sync/services/alarm.h>
 #include <libtock/interface/button.h>
+#include <libtock/interface/syscalls/button_syscalls.h>
 #include <libtock/peripherals/i2c_master_slave.h>
 
 #define BUF_SIZE 16
diff --git a/examples/tests/isolated_nonvolatile_storage/invs_single/main.c b/examples/tests/isolated_nonvolatile_storage/invs_single/main.c
@@ -3,6 +3,7 @@
 #include <stdlib.h>
 
 #include <libtock-sync/storage/isolated_nonvolatile_storage.h>
+#include <libtock/storage/syscalls/isolated_nonvolatile_storage_syscalls.h>
 
 
 
diff --git a/examples/tests/kv/kv_system/main.c b/examples/tests/kv/kv_system/main.c
@@ -3,6 +3,7 @@
 
 #include <libtock/interface/console.h>
 #include <libtock/storage/kv.h>
+#include <libtock/storage/syscalls/kv_syscalls.h>
 
 #define KEY_LEN  16
 #define DATA_LEN 32
diff --git a/examples/tests/lr1110/lorawan/main_lorawan.c b/examples/tests/lr1110/lorawan/main_lorawan.c
@@ -335,8 +335,8 @@ static void on_modem_alarm(void) {
 
   printf("[Sensors] Sampling Temperature and Humidity sensors once.\n");
 
-  bool temperature_available = driver_exists(DRIVER_NUM_TEMPERATURE);
-  bool humidity_available    = driver_exists(DRIVER_NUM_HUMIDITY);
+  bool temperature_available = libtocksync_temperature_exists();
+  bool humidity_available    = libtocksync_temperature_exists();
   int temp = 0;
   int humi = 0;
   if (temperature_available) {
diff --git a/examples/tests/microbit_v2/main.c b/examples/tests/microbit_v2/main.c
@@ -149,7 +149,7 @@ int main(void) {
   printf("Set up button callbacks!\n");
 
   // Enable sound pressure sensor
-  check_err(libtock_sound_pressure_command_enable(), "libtock_sound_pressure_command_enable");
+  check_err(libtock_sound_pressure_enable(), "libtock_sound_pressure_command_enable");
   printf("Enabled sound pressure!\n");
 
   // Setup P8, P9, P16
diff --git a/examples/tests/temperature/main.c b/examples/tests/temperature/main.c
@@ -7,7 +7,7 @@
 int main(void) {
   returncode_t ret;
 
-  if (!libtock_temperature_exists()) {
+  if (!libtocksync_temperature_exists()) {
     printf("[Temperature] No temperature sensor found.\n");
     exit(-1);
   }
diff --git a/examples/tests/udp/udp_rx/main.c b/examples/tests/udp/udp_rx/main.c
@@ -6,7 +6,9 @@
 #include <libtock-sync/services/alarm.h>
 #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>
 
 /*
  * UDP sample packet reception app.
diff --git a/examples/tutorials/dynamic-apps-and-policies/process_manager/main.c b/examples/tutorials/dynamic-apps-and-policies/process_manager/main.c
@@ -118,7 +118,7 @@ static uint16_t process_menu_get_item_count(void* data) {
   UNUSED(data);
 
   uint32_t count;
-  libtock_process_info_command_get_process_count(&count);
+  libtock_process_info_get_process_count(&count);
   return count + 1; // +1 for back
 }
 
diff --git a/examples/tutorials/hotp/hotp_milestone_one/step0.c b/examples/tutorials/hotp/hotp_milestone_one/step0.c
@@ -4,6 +4,7 @@
 
 #include <libtock-sync/interface/usb_keyboard_hid.h>
 #include <libtock/crypto/hmac.h>
+#include <libtock/crypto/syscalls/hmac_syscalls.h>
 #include <libtock/interface/button.h>
 #include <libtock/interface/led.h>
 
diff --git a/examples/tutorials/hotp/hotp_starter/main.c b/examples/tutorials/hotp/hotp_starter/main.c
@@ -21,6 +21,7 @@
 #include <libtock-sync/interface/usb_keyboard_hid.h>
 #include <libtock-sync/services/alarm.h>
 #include <libtock/crypto/hmac.h>
+#include <libtock/crypto/syscalls/hmac_syscalls.h>
 #include <libtock/interface/button.h>
 #include <libtock/interface/console.h>
 #include <libtock/interface/led.h>
diff --git a/examples/unit_tests/nrf52840dk-test/main.c b/examples/unit_tests/nrf52840dk-test/main.c
@@ -4,6 +4,7 @@
 #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/peripherals/gpio.h>
 

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,7 @@`
`3`	`3`	`#include <stdlib.h>`
`4`	`4`
`5`	`5`	`#include <libtock-sync/storage/isolated_nonvolatile_storage.h>`
	`6`	`+#include <libtock/storage/syscalls/isolated_nonvolatile_storage_syscalls.h>`
`6`	`7`
`7`	`8`
`8`	`9`