| Index: mojo/edk/system/core.h
|
| diff --git a/mojo/edk/system/core.h b/mojo/edk/system/core.h
|
| index b4cfbda02ef695c8782bd5852b28bedc8c24b202..065a0ab22d0d787f07b0f50d66aac51ddab59e0b 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 ReplaceHandleWithReducedRights(
|
| + MojoHandle handle,
|
| + MojoHandleRights rights_to_remove,
|
| + UserPointer<MojoHandle> replacement_handle);
|
| MojoResult DuplicateHandleWithReducedRights(
|
| MojoHandle handle,
|
| MojoHandleRights rights_to_remove,
|
|
|