00001 #line 972 "./lpsrc/flx_faio.pak"
00002
00003 #ifndef __FAIO_WDRV__
00004 #define __FAIO_WDRV__
00005
00006 #include "demux_win_timer_queue.hpp"
00007 #include "faio_drv.hpp"
00008
00009 namespace flx { namespace faio {
00010
00011 class FAIO_EXTERN wflx_drv : public flx_drv {
00012 demux::win_timer_queue sleepers;
00013 public:
00014 wflx_drv(flx::pthread::sleep_queue_t& q, int n1, int m1, int n2, int m2);
00015
00016 demux::timer_queue* get_sleepers() { return &sleepers; }
00017 };
00018
00019 }}
00020
00021 #endif
00022
