3 #include <pthread-l4.h>
6 #define SYS_MBOX_NULL NULL
7 #define SYS_SEM_NULL NULL
9 typedef u32_t sys_prot_t;
12 typedef struct sys_sem * sys_sem_t;
13 #define sys_sem_valid(sem) (((sem) != NULL) && (*(sem) != NULL))
14 #define sys_sem_set_invalid(sem) do { if((sem) != NULL) { *(sem) = NULL; }}while(0)
16 /* let sys.h use binary semaphores for mutexes */
17 #define LWIP_COMPAT_MUTEX 1
20 typedef struct sys_mbox *sys_mbox_t;
21 #define sys_mbox_valid(mbox) (((mbox) != NULL) && (*(mbox) != NULL))
22 #define sys_mbox_set_invalid(mbox) do { if((mbox) != NULL) { *(mbox) = NULL; }}while(0)
25 typedef struct sys_thread * sys_thread_t;