#ifndef __EVENT_FIFO_PRIVATE_H
#define __EVENT_FIFO_PRIVATE_H
#include "event_fifo_public.h"
#include "device_access.h"
#include "assert_support.h"
#include <bits.h>
STORAGE_CLASS_EVENT_C void event_wait_for(const event_ID_t ID)
{ … }
STORAGE_CLASS_EVENT_C void cnd_event_wait_for(const event_ID_t ID,
const bool cnd)
{ … }
STORAGE_CLASS_EVENT_C hrt_data event_receive_token(const event_ID_t ID)
{ … }
STORAGE_CLASS_EVENT_C void event_send_token(const event_ID_t ID,
const hrt_data token)
{ … }
STORAGE_CLASS_EVENT_C bool is_event_pending(const event_ID_t ID)
{ … }
STORAGE_CLASS_EVENT_C bool can_event_send_token(const event_ID_t ID)
{ … }
#endif