resmgmt.h

Go to the documentation of this file.

 
#ifndef RESMGMT_H_
#define RESMGMT_H_
 
#include <stdint.h>
#include "osal.h"
 
/*
 * Use large resource id (optional, disabled by default) for applications with many devices
 * used (and thus many extra resource ids needed).
 */
#ifndef CONFIG_LARGE_RESOURCE_ID
#define CONFIG_LARGE_RESOURCE_ID (0)
#endif
 
#if !CONFIG_LARGE_RESOURCE_ID
typedef uint32_t resource_mask_t;
#else
typedef uint64_t resource_mask_t;
#endif
 
typedef enum {
        RES_ID_UART1,
        RES_ID_UART2,
        RES_ID_UART1_CONFIG,
        RES_ID_UART2_CONFIG,
        RES_ID_UART1_READ,
        RES_ID_UART2_READ,
        RES_ID_UART1_WRITE,
        RES_ID_UART2_WRITE,
        RES_ID_SPI1,
        RES_ID_I2C1,
        RES_ID_QSPI,
        RES_ID_TIMER0,
        RES_ID_TIMER1,
        RES_ID_TIMER2,
        RES_ID_DMA_CH0,
        RES_ID_DMA_CH1,
        RES_ID_DMA_CH2,
        RES_ID_DMA_CH3,
        RES_ID_DMA_CH4,
        RES_ID_DMA_CH5,
        RES_ID_DMA_CH_SECURE = RES_ID_DMA_CH5,
        RES_ID_GPADC,
        RES_ID_SDADC,
        RES_ID_SRC1,
        RES_ID_SRC2,
        RES_ID_COUNT
} RES_ID;
 
#define RES_MASK(id) (((resource_mask_t) 1) << (id))
 
#define RES_WAIT_FOREVER OS_EVENT_FOREVER
 
void resource_init(void);
 
resource_mask_t resource_acquire(resource_mask_t resource_mask, OS_TICK_TIME timeout);
 
void resource_release(resource_mask_t resource_mask);
 
#ifndef CONFIG_NO_DYNAMIC_RESOURCE_ID
 
int resource_add(void);
 
#endif
 
#endif /* RESMGMT_H_ */