Rebase against ca03802a456e7cf4efd834edfeddc483ac72e4b5.

patches/eventfd_synchronization/0002-server-Create-server-objects-for-eventfd-based-synch.patch

@@ -1,4 +1,4 @@
-From 45b0af272838c1b28dee3dd50c588af888604f59 Mon Sep 17 00:00:00 2001
+From 2e40c85732d66a427927d26d0d560c835187fcf2 Mon Sep 17 00:00:00 2001
 From: Zebediah Figura <z.figura12@gmail.com>
 Date: Thu, 7 Jun 2018 20:09:59 -0500
 Subject: [PATCH] server: Create server objects for eventfd-based
@@ -9,8 +9,8 @@ Subject: [PATCH] server: Create server objects for eventfd-based
  server/esync.c      | 320 ++++++++++++++++++++++++++++++++++++++++++++
  server/esync.h      |  22 +++
  server/main.c       |   4 +
- server/protocol.def |  24 ++++
- 5 files changed, 371 insertions(+)
+ server/protocol.def |  25 +++-
+ 5 files changed, 371 insertions(+), 1 deletion(-)
  create mode 100644 server/esync.c
  create mode 100644 server/esync.h
 
@@ -403,13 +403,21 @@ index dae08339874..f68888d0fa8 100644
      set_current_time();
      init_scheduler();
 diff --git a/server/protocol.def b/server/protocol.def
-index abccc0a1275..f41afda0251 100644
+index 10da65be735..22050c65f06 100644
 --- a/server/protocol.def
 +++ b/server/protocol.def
-@@ -3695,3 +3695,27 @@ struct handle_info
- @REQ(resume_process)
+@@ -3690,7 +3690,6 @@ struct handle_info
      obj_handle_t handle;       /* process handle */
  @END
+ 
+-
+ /* Iterate thread list for process */
+ @REQ(get_next_thread)
+     obj_handle_t process;      /* process handle */
+@@ -3701,3 +3700,27 @@ struct handle_info
+ @REPLY
+     obj_handle_t handle;       /* next thread handle */
+ @END
 +
 +enum esync_type
 +{
@@ -435,5 +443,5 @@ index abccc0a1275..f41afda0251 100644
 +    unsigned int shm_idx;
 +@END
 -- 
-2.20.1
+2.30.2