#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] |
1.5.6