api/omega0.h
00001 #if !defined(__L4VMM_INCLUDE_API_OMEGA0_H__)
00002 #define __L4VMM_INCLUDE_API_OMEGA0_H__
00003
00004
00005
00006
00007 #include <l4/omega0/client.h>
00008
00009 EXTERN_C_BEGIN
00010
00011 L4_CV int l4vmm_irq_attach(omega0_irqdesc_t desc);
00012 L4_CV int l4vmm_irq_detach(omega0_irqdesc_t desc);
00013 L4_CV int l4vmm_irq_pass(omega0_irqdesc_t desc, l4_threadid_t new_driver);
00014 L4_CV int l4vmm_irq_request(int handle, omega0_request_t action);
00015 L4_CV int l4vmm_irq_request_timeout(int handle, omega0_request_t action, l4_timeout_t timeout);
00016
00017 L4_CV int l4vmm_irq_first(void);
00018 L4_CV int l4vmm_irq_next(int irq_num);
00019
00020 EXTERN_C_END
00021
00022 #endif
00023
00024
00025