94 uint64_t triggerTime, int32_t* status);
HAL_Bool HAL_SetNotifierThreadPriority(HAL_Bool realTime, int32_t priority, int32_t *status)
Sets the HAL notifier thread priority.
void HAL_CleanNotifier(HAL_NotifierHandle notifierHandle, int32_t *status)
Cleans a notifier.
HAL_NotifierHandle HAL_InitializeNotifier(int32_t *status)
Initializes a notifier.
void HAL_UpdateNotifierAlarm(HAL_NotifierHandle notifierHandle, uint64_t triggerTime, int32_t *status)
Updates the trigger time for a notifier.
void HAL_CancelNotifierAlarm(HAL_NotifierHandle notifierHandle, int32_t *status)
Cancels the next notifier alarm.
void HAL_SetNotifierName(HAL_NotifierHandle notifierHandle, const char *name, int32_t *status)
Sets the name of a notifier.
WPI_NODISCARD uint64_t HAL_WaitForNotifierAlarm(HAL_NotifierHandle notifierHandle, int32_t *status)
Waits for the next alarm for the specific notifier.
void HAL_StopNotifier(HAL_NotifierHandle notifierHandle, int32_t *status)
Stops a notifier from running.
int32_t HAL_Bool
Definition: Types.h:73
HAL_Handle HAL_NotifierHandle
Definition: Types.h:43
constexpr const char * name(const T &)
#define WPI_NODISCARD
Definition: nodiscard.h:12