API definition for WaitSet.

third_party/mojo/src/mojo/edk/system/core.h

Index: third_party/mojo/src/mojo/edk/system/core.h
diff --git a/third_party/mojo/src/mojo/edk/system/core.h b/third_party/mojo/src/mojo/edk/system/core.h
index 7a1ca9fac13ffaf29a99a2a6f5492ae1b9596087..c21c413b613d0b946c1469f4cc350ecdb37eef91 100644
--- a/third_party/mojo/src/mojo/edk/system/core.h
+++ b/third_party/mojo/src/mojo/edk/system/core.h
@@ -88,6 +88,18 @@ class MOJO_SYSTEM_IMPL_EXPORT Core {
                       UserPointer<MojoHandleSignalsState> signals_states);
 
   // These methods correspond to the API functions defined in
+  // "third_party/mojo/src/mojo/public/c/system/wait_set.h":
+  MojoResult CreateWaitSet(UserPointer<MojoHandle> wait_set_handle);
+  MojoResult AddWaiter(MojoHandle wait_set_handle,
+                       MojoHandle handle,
+                       MojoHandleSignals signals);
+  MojoResult RemoveWaiter(MojoHandle wait_set_handle,
+                          MojoHandle handle);
+  MojoResult GetReadyHandle(MojoHandle wait_set_handle,
+                            UserPointer<MojoHandle> handle,
+                            UserPointer<MojoHandleSignalsState> signals_state);
+
+  // These methods correspond to the API functions defined in
   // "third_party/mojo/src/mojo/public/c/system/message_pipe.h":
   MojoResult CreateMessagePipe(
       UserPointer<const MojoCreateMessagePipeOptions> options,