Index: mojo/edk/system/core.h |
diff --git a/mojo/edk/system/core.h b/mojo/edk/system/core.h |
index a97010f3aeca3e3110ff3fade881019e975b98a6..b4cfbda02ef695c8782bd5852b28bedc8c24b202 100644 |
--- a/mojo/edk/system/core.h |
+++ b/mojo/edk/system/core.h |
@@ -117,6 +117,10 @@ class Core { |
// "mojo/public/c/system/handle.h": |
MojoResult Close(MojoHandle handle); |
MojoResult GetRights(MojoHandle handle, UserPointer<MojoHandleRights> rights); |
+ MojoResult DuplicateHandleWithReducedRights( |
+ MojoHandle handle, |
+ MojoHandleRights rights_to_remove, |
+ UserPointer<MojoHandle> new_handle); |
// These methods correspond to the API functions defined in |
// "mojo/public/c/system/wait.h": |