#include <l4/sys/types.h>
#include <l4/util/lock_wq.h>
#include <l4/omega0/client.h>
#include "config.h"
Go to the source code of this file.
Data Structures | |
struct | client_chain |
struct | irq_description_t |
Defines | |
#define | IRQ_NUMS 18 |
#define | STACKSIZE 4096 |
Typedefs | |
typedef l4util_wq_lock_queue_base_t | mutex_t |
Functions | |
static void | aquire_mutex (mutex_t *wq, l4util_wq_lock_queue_elem_t *elem) |
static void | release_mutex (mutex_t *wq, l4util_wq_lock_queue_elem_t *elem) |
Variables | |
irq_description_t | irqs [IRQ_NUMS] |
Definition in file globals.h.
static void aquire_mutex | ( | mutex_t * | wq, | |
l4util_wq_lock_queue_elem_t * | elem | |||
) | [inline, static] |
static void release_mutex | ( | mutex_t * | wq, | |
l4util_wq_lock_queue_elem_t * | elem | |||
) | [inline, static] |
irq_description_t irqs[IRQ_NUMS] |