libtock: do not export syscalls

Author: bradjc

libtock/net/ble.c

@@ -12,7 +12,7 @@
 #include "tock.h"
 
 bool libtock_ble_exists(void) {
-  return libtock_ble_driver_exists();
+  return driver_exists(BLE_DRIVER_NUMBER);
 }
 
 int ble_start_advertising(int pdu_type, uint8_t* advd, int len, uint16_t interval) {

libtock/sensors/ambient_light.c

@@ -1,4 +1,5 @@
 #include "ambient_light.h"
+#include "syscalls/ambient_light_syscalls.h"
 
 // callback for synchronous reads
 static void ambient_light_upcall(int intensity,
@@ -8,6 +9,10 @@ static void ambient_light_upcall(int intensity,
   cb(RETURNCODE_SUCCESS, intensity);
 }
 
+bool libtock_ambient_light_exists(void) {
+  return libtock_ambient_light_driver_exists();
+}
+
 returncode_t libtock_ambient_light_read_intensity(libtock_ambient_light_callback cb) {
   returncode_t err;
 

libtock/sensors/ambient_light.h

@@ -1,7 +1,6 @@
 #pragma once
 
 #include "../tock.h"
-#include "syscalls/ambient_light_syscalls.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -14,6 +13,9 @@ extern "C" {
 typedef void (*libtock_ambient_light_callback)(returncode_t, int);
 
 
+// Check if the driver exists.
+bool libtock_ambient_light_exists(void);
+
 // Request an ambient light reading.
 //
 // The callback will be triggered with the result in lux.

libtock/sensors/humidity.c

@@ -1,4 +1,5 @@
 #include "humidity.h"
+#include "syscalls/humidity_syscalls.h"
 
 static void humidity_upcall(int humidity,
                             __attribute__ ((unused)) int unused1,
@@ -7,6 +8,10 @@ static void humidity_upcall(int humidity,
   cb(RETURNCODE_SUCCESS, humidity);
 }
 
+bool libtock_humidity_exists(void) {
+  return libtock_humidity_driver_exists();
+}
+
 returncode_t libtock_humidity_read(libtock_humidity_callback cb) {
   returncode_t err;
 

libtock/sensors/humidity.h

@@ -1,7 +1,6 @@
 #pragma once
 
 #include "../tock.h"
-#include "syscalls/humidity_syscalls.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -13,6 +12,9 @@ extern "C" {
 // - `arg2` (`int`): Humidity in hundredths of percent.
 typedef void (*libtock_humidity_callback)(returncode_t, int);
 
+// Check if the driver exists.
+bool libtock_humidity_exists(void);
+
 // Start a humidity measurement. The reading will be provided via the callback.
 returncode_t libtock_humidity_read(libtock_humidity_callback cb);
 

libtock/sensors/moisture.c

@@ -1,4 +1,5 @@
 #include "moisture.h"
+#include "syscalls/moisture_syscalls.h"
 
 static void moisture_upcall(int status,
                             int moisture,
@@ -7,6 +8,10 @@ static void moisture_upcall(int status,
   cb(tock_status_to_returncode(status), moisture);
 }
 
+bool libtock_moisture_exists(void) {
+  return libtock_moisture_driver_exists();
+}
+
 returncode_t libtock_moisture_read(libtock_moisture_callback cb) {
   returncode_t err;
 

libtock/sensors/moisture.h

@@ -1,7 +1,6 @@
 #pragma once
 
 #include "../tock.h"
-#include "syscalls/moisture_syscalls.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -13,6 +12,9 @@ extern "C" {
 // - `arg2` (`int`): moisture in hundredths of percent.
 typedef void (*libtock_moisture_callback)(returncode_t, int);
 
+// Check if the driver exists.
+bool libtock_moisture_exists(void);
+
 // Start a moisture measurement. The reading will be provided via the callback.
 returncode_t libtock_moisture_read(libtock_moisture_callback cb);
 

libtock/sensors/ninedof.c

@@ -1,4 +1,5 @@
 #include "ninedof.h"
+#include "syscalls/ninedof_syscalls.h"
 
 // internal callback for faking synchronous reads
 static void ninedof_upcall(int x, int y, int z, void* opaque) {
@@ -7,6 +8,10 @@ static void ninedof_upcall(int x, int y, int z, void* opaque) {
 }
 
 
+bool libtock_ninedof_exists(void) {
+  return libtock_ninedof_driver_exists();
+}
+
 returncode_t libtock_ninedof_read_accelerometer(libtock_ninedof_callback cb) {
   returncode_t err;
 

libtock/sensors/ninedof.h

@@ -1,7 +1,6 @@
 #pragma once
 
 #include "../tock.h"
-#include "syscalls/ninedof_syscalls.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -17,6 +16,9 @@ extern "C" {
 typedef void (*libtock_ninedof_callback)(returncode_t, int, int, int);
 
 
+// Check if the driver exists.
+bool libtock_ninedof_exists(void);
+
 // Read the accelerometer.
 //
 // The X, Y, Z and measurements will be returned via the callback.

libtock/sensors/pressure.c

@@ -1,4 +1,5 @@
 #include "pressure.h"
+#include "syscalls/pressure_syscalls.h"
 
 static void pressure_upcall(int                          pressure,
                             __attribute__ ((unused)) int unused,
@@ -8,6 +9,10 @@ static void pressure_upcall(int                          pressure,
   cb(RETURNCODE_SUCCESS, pressure);
 }
 
+bool libtock_pressure_exists(void) {
+  return libtock_pressure_driver_exists();
+}
+
 returncode_t libtock_pressure_read(libtock_pressure_callback cb) {
   returncode_t err;