Implementation of WaitSet for new EDK.

mojo/edk/system/core.h

Index: mojo/edk/system/core.h
diff --git a/mojo/edk/system/core.h b/mojo/edk/system/core.h
index 3c2154a798f0c46fbbe89c60cfe687cbe07859c5..7c5a2357a6bb046e818ee9807f1d08834c82c635 100644
--- a/mojo/edk/system/core.h
+++ b/mojo/edk/system/core.h
@@ -84,6 +84,20 @@ class MOJO_SYSTEM_IMPL_EXPORT Core {
                       MojoHandleSignalsState* signals_states);
 
   // These methods correspond to the API functions defined in
+  // "mojo/public/c/system/wait_set.h":
+  MojoResult CreateWaitSet(MojoHandle* wait_set_handle);
+  MojoResult AddHandle(MojoHandle wait_set_handle,
+                       MojoHandle handle,
+                       MojoHandleSignals signals);
+  MojoResult RemoveHandle(MojoHandle wait_set_handle,
+                          MojoHandle handle);
+  MojoResult GetReadyHandles(MojoHandle wait_set_handle,
+                             uint32_t* count,
+                             MojoHandle* handles,
+                             MojoResult* results,
+                             MojoHandleSignalsState* signals_states);
+
+  // These methods correspond to the API functions defined in
   // "mojo/public/c/system/message_pipe.h":
   MojoResult CreateMessagePipe(
       const MojoCreateMessagePipeOptions* options,