#ifndef CX_ZIVUOS_TYPES_H_INCLUDED
#define CX_ZIVUOS_TYPES_H_INCLUDED

#include <stdint.h>
#include <stdbool.h>

typedef uint16_t zv_tid_t;
typedef uint16_t zv_priority_t;
typedef uint64_t zv_systime_t;

#define ZV_TID_NULL ((zv_tid_t) -1)

struct zv_task_s;
struct zv_kernel_s;
struct zv_event_s;

enum zv_state_e;
enum zv_event_type_e;

typedef enum zv_state_e (*zv_worker_t) (
    struct zv_kernel_s *kernel,
    struct zv_event_s *received,
    zv_tid_t tid,
    void *param
);

#endif