#include #include int glue_enable_srq(bool enable); int glue_wait_for_interrupt(void);