diff --git a/repos/libports/src/lib/lwip/include/timer.h b/repos/libports/src/lib/lwip/include/timer.h deleted file mode 100644 index 6cc62f6d30..0000000000 --- a/repos/libports/src/lib/lwip/include/timer.h +++ /dev/null @@ -1,55 +0,0 @@ -/* - * \brief Timer thread, which schedules timeouts. - * \author Stefan Kalkowski - * \date 2009-10-28 - */ - -/* - * Copyright (C) 2009-2013 Genode Labs GmbH - * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. - */ - -#ifndef __LWIP__INCLUDE__TIMER_H__ -#define __LWIP__INCLUDE__TIMER_H__ - -#include -#include -#include -#include -#include - -namespace Lwip { - - class Scheduler : public Genode::Thread_deprecated<4096>, - public Genode::Alarm_scheduler - { - private: - - Timer::Connection _timer; - Genode::Alarm::Time _curr_time; /* jiffies value */ - - enum { TIMER_GRANULARITY_MSEC = 1 }; - - void entry() - { - while (true) { - _timer.msleep(TIMER_GRANULARITY_MSEC); - Genode::Alarm_scheduler::handle(_curr_time); - _curr_time += TIMER_GRANULARITY_MSEC; - } - } - - public: - - Scheduler() : Thread_deprecated("lwip_timeout_sched"), _curr_time(0) { } - - Genode::Alarm::Time curr_time() { return _curr_time; } - }; - - - extern Scheduler *scheduler(); -} - -#endif //__LWIP__INCLUDE__TIMER_H__ diff --git a/repos/libports/src/lib/lwip/platform/sys_arch.cc b/repos/libports/src/lib/lwip/platform/sys_arch.cc index 784188919c..9cef5d54f7 100644 --- a/repos/libports/src/lib/lwip/platform/sys_arch.cc +++ b/repos/libports/src/lib/lwip/platform/sys_arch.cc @@ -15,12 +15,12 @@ #include #include #include +#include #include #include /* LwIP includes */ #include -#include #include #include #include