sys_arch.h

Go to the documentation of this file.

/*
 * Copyright (C) 2015 Martine Lenders <mlenders@inf.fu-berlin.de>
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#pragma once

 
#include <stdbool.h>
#include <stdint.h>
 
#include "cib.h"
#include "sched.h"
#include "mbox.h"
#include "mutex.h"
#include "random.h"
#include "sema.h"
 
#ifdef __cplusplus
extern "C" {
#endif

/* prefer mutexes rather than binary semaphores */
#define LWIP_COMPAT_MUTEX   (0)

#define SYS_ARCH_PROTECT(x)         mutex_lock(&x)
#define SYS_ARCH_UNPROTECT(x)       mutex_unlock(&x)
#define SYS_ARCH_DECL_PROTECT(x)    mutex_t x = MUTEX_INIT

typedef sema_t sys_sem_t;               
 
static inline bool sys_sem_valid(sys_sem_t *sem)
{
    return sem != NULL;
}
 
#define sys_sem_valid(sem)              (sys_sem_valid(sem))
 
#define sys_sem_set_invalid(sem)

typedef mutex_t sys_mutex_t;            
 
static inline bool sys_mutex_valid(sys_mutex_t *mutex)
{
    return mutex != NULL;
}
 
#define sys_mutex_valid(mutex)          (sys_mutex_valid(mutex))
#define sys_mutex_set_invalid(mutex)

#define SYS_MBOX_SIZE               (8)

typedef struct {
    mbox_t mbox;                    
    msg_t msgs[SYS_MBOX_SIZE];      
} sys_mbox_t;
 
static inline bool sys_mbox_valid(sys_mbox_t *mbox)
{
    return (mbox != NULL) && (mbox_size(&mbox->mbox) != 0);
}
 
static inline void sys_mbox_set_invalid(sys_mbox_t *mbox)
{
    if (mbox != NULL) {
        mbox_unset(&mbox->mbox);
    }
}
 
#define sys_mbox_valid(mbox)            (sys_mbox_valid(mbox))
#define sys_mbox_set_invalid(mbox)      (sys_mbox_set_invalid(mbox))
 
typedef kernel_pid_t sys_thread_t;      
 
extern kernel_pid_t lwip_tcpip_thread;  

void sys_lock_tcpip_core(void);
#define LOCK_TCPIP_CORE()          sys_lock_tcpip_core()
void sys_unlock_tcpip_core(void);
#define UNLOCK_TCPIP_CORE()        sys_unlock_tcpip_core()
 
#ifdef MODULE_RANDOM
#define LWIP_RAND()                     (random_uint32())
#endif
 
#ifdef __cplusplus
}
#endif