Use the event-handler for timers.

src/vm/event_handler.h

Index: src/vm/event_handler.h
diff --git a/src/vm/event_handler.h b/src/vm/event_handler.h
index 375b1c15703454a89512d1f66dea33c1327b1090..cba7667f5bc08c7afc296385b8bed7bccfc88f69 100644
--- a/src/vm/event_handler.h
+++ b/src/vm/event_handler.h
@@ -6,6 +6,7 @@
 #define SRC_VM_EVENT_HANDLER_H_
 
 #include "src/shared/globals.h"
+#include "src/vm/hash_map.h"
 #include "src/vm/thread.h"
 
 namespace fletch {
@@ -27,6 +28,8 @@ class EventHandler {
 
   int GetEventHandler();
 
+  void ScheduleTimeout(int64 timeout, Port* port);
+
   Monitor* monitor() const { return monitor_; }
 
   int Create();
@@ -37,9 +40,14 @@ class EventHandler {
   int fd_;
   ThreadIdentifier thread_;
 
+  HashMap<Port*, int64> timeouts_;
+  int64 next_timeout_;
+
   int read_fd_;
   int write_fd_;
 
+  void HandleTimeouts();
+
   void Send(Port* port, uword mask);
 };