00001 #include <l4/sys/ipc.h> 00002 #include <l4/omega0/client.h> 00003 #include <omega0_proto.h> 00004 #include "internal.h" 00005 #include "config.h" 00006 00007 /* detach from a certain irq line. */ 00008 00009 int omega0_detach(omega0_irqdesc_t desc){ 00010 if(!omega0_initalized && omega0_init()) return -1; 00011 00012 return omega0_call(0, OMEGA0_DETACH, desc.i, L4_IPC_NEVER); 00013 }