resource.h

#ifndef MWARE_RESOURCE_H
#define MWARE_RESOURCE_H

#include <drv/timer.h> // time_t
#include <kern/sem.h>

/*
 * Abstract locking primitives used by host OS.
 */
#if CONFIG_KERNEL

    typedef Semaphore ResourceLock;
    #define ResMan_sleep()         timer_delay(1)
    #define ResMan_time_t          mtime_t

#else /* FreeRTOS */

    #include <freertos.h>
    #include <semphr.h>
    #include <task.h> // vTaskDelay()

    #define ResMan_sleep()        vTaskDelay((portTickType)1 * portTICK_RATE_MS)
    #define ResMan_time_t         portTickType
#endif


// Forward decl
struct Observer;

typedef struct Resource
{
//Private
    Semaphore lock;

    struct Observer *owner;

    int pri;

    List queue;
} Resource;

enum { EVENT_RELEASE = 1 };

bool ResMan_Alloc(Resource *res, int pri, ResMan_time_t timeout, struct Observer *releaseRequest);

void ResMan_Free(Resource *res);

void ResMan_Init(Resource *res);

#endif /* MWARE_RESOURCE_H */