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 2dc504bb0b380acae64ca7b57abba66d8fb04dee..f2350cb18823d4da62804cccf02da99e6dd6b872 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
+  // "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
   // "mojo/public/c/system/message_pipe.h":
   MojoResult CreateMessagePipe(
       UserPointer<const MojoCreateMessagePipeOptions> options,