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 /* list the available irq lines. */ 00008 00009 int omega0_first(void){ 00010 if(!omega0_initalized && omega0_init()) return -1; 00011 00012 return omega0_call(0, OMEGA0_FIRST, 0, L4_IPC_NEVER); 00013 } 00014 00015 int omega0_next(int num){ 00016 if(!omega0_initalized && omega0_init()) return -1; 00017 00018 return omega0_call(0, OMEGA0_NEXT, num, L4_IPC_NEVER); 00019 }