#ifndef CX_ZIVUOS_ZIVU_TYPES_H_INCLUDED
#define CX_ZIVUOS_ZIVU_TYPES_H_INCLUDED

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

/* Inform to deny warnings. */
struct zv_kernel_s;
struct zv_process_s;
struct zv_latch_s;

typedef uint32_t zv_pid_t;
typedef size_t zv_size_t;
typedef uint8_t zv_priority_t;

#define ZV_MAX_SIZE_T SIZE_MAX
#define ZV_MAX_PID_T UINT32_MAX

typedef enum zv_checker_result_e {
    NOT_READY,
    READY
} zv_checker_result_t;

typedef enum zv_state_e (* zv_worker_t) (
    struct zv_kernel_s *, 
    struct zv_process_s *
);

typedef zv_checker_result_t (*zv_checker_t) (
    struct zv_kernel_s *, 
    struct zv_process_s *
);

typedef union zv_universal_param_u {
    void *pointer;
    intptr_t number;
} zv_universal_param_t;

#endif