EDK: Add implementation of data pipe consumer read threshold stuff.

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 aaacd6306e5adb1f87e1d5d223aa5063bf25034b..fe8cfbfcdb1813dac42b6bdd34fbb6902c848882 100644
--- a/mojo/edk/system/core.h
+++ b/mojo/edk/system/core.h
@@ -140,6 +140,13 @@ class Core {
                             MojoWriteDataFlags flags);
   MojoResult EndWriteData(MojoHandle data_pipe_producer_handle,
                           uint32_t num_bytes_written);
+  MojoResult SetDataPipeConsumerOptions(
+      MojoHandle data_pipe_consumer_handle,
+      UserPointer<const MojoDataPipeConsumerOptions> options);
+  MojoResult GetDataPipeConsumerOptions(
+      MojoHandle data_pipe_consumer_handle,
+      UserPointer<MojoDataPipeConsumerOptions> options,
+      uint32_t options_num_bytes);
   MojoResult ReadData(MojoHandle data_pipe_consumer_handle,
                       UserPointer<void> elements,
                       UserPointer<uint32_t> num_bytes,