#include "api.h"Go to the source code of this file.
Startup options | |
| #define | PRE_PROS_INIT_PRIORITY 101 |
| #define | ENABLE_BANNER(enabled) |
| void | enable_banner (bool enabled) |
Filesystem | |
| #define | SERCTL_ACTIVATE 10 |
| #define | SERCTL_DEACTIVATE 11 |
| #define | SERCTL_BLKWRITE 12 |
| #define | SERCTL_NOBLKWRITE 13 |
| #define | SERCTL_ENABLE_COBS 14 |
| #define | SERCTL_DISABLE_COBS 15 |
| #define | DEVCTL_FIONREAD 16 |
| #define | DEVCTL_FIONWRITE 18 |
| #define | DEVCTL_SET_BAUDRATE 17 |
| int32_t | fdctl (int file, const uint32_t action, void *const extra_arg) |
| int32_t | motor_set_reversed (int8_t port, const bool reverse) |
| int32_t | motor_is_reversed (int8_t port) |
Device Registration | |
| enum | v5_device_e { E_DEVICE_NONE = 0 , E_DEVICE_MOTOR = 2 , E_DEVICE_ROTATION = 4 , E_DEVICE_IMU = 6 , E_DEVICE_DISTANCE = 7 , E_DEVICE_RADIO = 8 , E_DEVICE_VISION = 11 , E_DEVICE_ADI = 12 , E_DEVICE_OPTICAL = 16 , E_DEVICE_GPS = 20 , E_DEVICE_AIVISION = 29 , E_DEVICE_SERIAL = 129 , __attribute__ =((deprecated("use E_DEVICE_SERIAL instead"))) = E_DEVICE_SERIAL , E_DEVICE_UNDEFINED = 255 } |
| List of possible v5 devices. More... | |
| typedef enum v5_device_e | v5_device_e_t |
| int | registry_bind_port (uint8_t port, v5_device_e_t device_type) |
| int | registry_unbind_port (uint8_t port) |
| v5_device_e_t | registry_get_bound_type (uint8_t port) |
| v5_device_e_t | registry_get_plugged_type (uint8_t port) |
RTOS Facilities | |
| typedef void * | queue_t |
| typedef void * | sem_t |
| bool | task_abort_delay (task_t task) |
| void | task_notify_when_deleting (task_t target_task, task_t task_to_notify, uint32_t value, notify_action_e_t notify_action) |
| task_t | mutex_get_owner (mutex_t mutex) |
| sem_t | sem_create (uint32_t max_count, uint32_t init_count) |
| void | sem_delete (sem_t sem) |
| sem_t | sem_binary_create (void) |
| bool | sem_wait (sem_t sem, uint32_t timeout) |
| bool | sem_post (sem_t sem) |
| uint32_t | sem_get_count (sem_t sem) |
| queue_t | queue_create (uint32_t length, uint32_t item_size) |
| bool | queue_append (queue_t queue, const void *item, uint32_t timeout) |
| bool | queue_peek (queue_t queue, void *const buffer, uint32_t timeout) |
| bool | queue_recv (queue_t queue, void *const buffer, uint32_t timeout) |
| uint32_t | queue_get_waiting (const queue_t queue) |
| uint32_t | queue_get_available (const queue_t queue) |
| void | queue_delete (queue_t queue) |
| void | queue_reset (queue_t queue) |
PROS Extended API header
Contains additional declarations for use by advaned users of PROS. These functions do not typically have as much error handling or require deeper knowledge of real time operating systems.
This file should not be modified by users, since it gets replaced whenever a kernel upgrade occurs.
This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.