source: soft/giet_vm/libs/libsrl/srl_private_types.h @ 160

#ifndef SRL_PRIVATE_TYPES_H
#define SRL_PRIVATE_TYPES_H

/**
 * @file
 * @module{SRL}
 * @short Abstract types definitions
 */

#include "stdio.h"
#include "srl_barrier.h"
#include "srl_public_types.h"

#define TTY_INC 16

/**
   A numeric constant holder
 */
typedef unsigned int srl_const_t;
#define SRL_CONST_INITIALIZER(x) x

typedef void srl_task_func_t( void* );

typedef struct srl_abstract_task_s {
        srl_task_func_t *bootstrap;
        srl_task_func_t *func;
        void *args;
        void *stack;
        size_t stack_size;
        const char *name;
//      uint32_t context[CONTEXT_WSIZE];
        sint32_t wait_val;
        void *wait_addr;
        size_t tty_addr;
}srl_task_s;

#define SRL_TASK_INITIALIZER(b, f, ss, s, a, n, ttyc, ttyn)     \
        {                                                                                                               \
                .bootstrap = (srl_task_func_t *)b,                                      \
                .func = (srl_task_func_t *)f,                                           \
                .args = (void*)a,                                                                       \
                .stack = (void*)s,                                                                      \
                .stack_size = ss,                                                                       \
                .name = n,                                                                                      \
                .tty_addr = (size_t)ttyc + (ttyn * TTY_INC),            \
        }


typedef struct srl_abstract_cpudesc_s srl_cpudesc_s;
struct srl_abstract_cpudesc_s {
        const size_t ntasks;
        const srl_task_s * const *task_list;
        size_t tty_addr;
};

#define SRL_CPUDESC_INITIALIZER(nt, tl, ttyc, ttyn)     \
        {                                                                                               \
                .ntasks = nt,                                                           \
                .task_list = tl,                                                        \
                .tty_addr = (size_t)ttyc + (ttyn * TTY_INC),\
        }

typedef struct srl_abstract_appdesc_s srl_appdesc_s;
struct srl_abstract_appdesc_s {
        const size_t ntasks;
        srl_barrier_s *start;
        const struct srl_mwmr_s * const *mwmr;
        const srl_cpudesc_s * const *cpu;
        const srl_task_s * const *task;
        size_t tty_addr;
};

#define SRL_APPDESC_INITIALIZER(nt, cl, ml, tl, sb, ttyc, ttyn) \
        {                                                                                                                  \
                .ntasks = nt,                                                                              \
                .cpu = cl,                                                                                     \
                .mwmr = ml,                                                                                    \
                .task = tl,                                                                                    \
                .start = sb,                                                                               \
                .tty_addr = (size_t)ttyc + (ttyn * TTY_INC),                                            \
        }

//needed by gcc
void *memcpy(void *_dst, const void *_src, unsigned int size);
void * memset(void *dst, int data, size_t size);


/**
 * All function needed by kmain has to be tagged with in_srl_main
 * typically: srl_mwmw_sys
 */
#define in_srl_main __attribute__((section (".srl_main")))

/**
 * copy to the cache avoiding the optimisations done the compiler (volatile)
 */
#define cpu_mem_write_32(addr, data) *((volatile uint32_t*)(addr)) = data 

#define uintptr_t unsigned int

#endif