update

Author: inesmaria08

examples/servo/main.c

@@ -10,14 +10,13 @@ int main(void) {
     printf("There is no available servo\n");
     return -1;
   }
-  returncode_t result = RETURNCODE_EOFF;
-  uint16_t servo_number = 0;
-  libtock_servo_number(&servo_number);
-  printf("The number of available servomotors is: %d", servo_number);
+  returncode_t result  = RETURNCODE_EOFF;
+  uint16_t servo_count = 0;
+  libtock_servo_number(&servo_count);
+  printf("The number of available servomotors is: %d", servo_count);
   uint16_t angle = 0;
   uint16_t index = 0; // the first index available.
 
-
   if (libtock_current_servo_angle(index, &angle) == RETURNCODE_ENODEVICE) {
     printf("\n The index number is bigger than the available servomotors\n");
     return -1;
@@ -35,10 +34,10 @@ int main(void) {
       } else {
         printf("\n This servo cannot return its angle.\n");
       }
-    } else if (result == RETURNCODE_EINVAL){
+    } else if (result == RETURNCODE_EINVAL) {
       printf("\nThe angle you provided exceeds 360 degrees\n");
       return -1;
-    } else if (result == RETURNCODE_FAIL){
+    } else if (result == RETURNCODE_FAIL) {
       printf("\nThe angle could not be changed. The provided angle exceeds the servo's limit\n");
       return -1;
     }

libtock/interface/syscalls/servo_syscalls.c

@@ -5,13 +5,13 @@ bool libtock_servo_exists(void) {
   return driver_exists(DRIVER_NUM_SERVO);
 }
 
-returncode_t libtock_servo_number(uint16_t* servo_number){
+returncode_t libtock_servo_number(uint16_t* servo_count) {
   uint32_t value     = 0;
   syscall_return_t r = command(DRIVER_NUM_SERVO, 1, 0, 0);
   // Converts the returned value stored in `r`
   // and assigns it to `ret`.
   returncode_t ret = tock_command_return_u32_to_returncode(r, &value);
-  *servo_number = (uint16_t)value;
+  *servo_count = (uint16_t)value;
   return ret;
 
 }

libtock/interface/syscalls/servo_syscalls.h

@@ -11,12 +11,12 @@ extern "C" {
 // Check if the servo system call driver is available on this board.
 bool libtock_servo_exists(void);
 // Returns the number of available servomotors.
-returncode_t libtock_servo_number(uint16_t* servo_number);
+returncode_t libtock_servo_number(uint16_t* servo_count);
 // Change the angle.
-returncode_t libtock_servo_angle(uint16_t index, uint16_t angle );
+returncode_t libtock_servo_angle(uint16_t index, uint16_t angle);
 // Requests the current angle from the servo.
 returncode_t libtock_current_servo_angle(uint16_t index, uint16_t* angle);
 
 #ifdef __cplusplus
 }
-#endif
+#endif