return scheduler::detail::FIFORunner::instance().hangCount();
}
+prefix_ void senf::scheduler::hiresTimers()
+{
+ detail::TimerDispatcher::instance().setTimerSource(
+ std::auto_ptr<detail::TimerSource>(new detail::POSIXTimerSource()));
+}
+
+prefix_ void senf::scheduler::loresTimers()
+{
+ detail::TimerDispatcher::instance().setTimerSource(
+ std::auto_ptr<detail::TimerSource>(new detail::PollTimerSource()));
+}
+
+prefix_ bool senf::scheduler::haveScalableHiresTimers()
+{
+ return false;
+}
+
///////////////////////////////cci.e///////////////////////////////////////
#undef prefix_