#include <l4/omega0/client.h>
#include <omega0_proto.h>
#include "internal.h"
#include "config.h"
Go to the source code of this file.
Functions | |
int | omega0_pass (omega0_irqdesc_t desc, l4_threadid_t new_driver) |
Pass the right to attach to an IRQ line to another thread. |