| // Copyright 2019 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| // !!! THIS FILE IS NOT YET USED !!! |
| // See //zircon/system/public/zircon/syscalls.banjo. |
| // !!! THIS FILE IS NOT YET USED !!! |
| |
| library zz; |
| |
| [Transport="Syscall"] |
| protocol Pmt { |
| // TODO(ZX-2967): handle ZX_OBJ_TYPE_PMT; No rights required? |
| /// Unpin pages and revoke device access to them. |
| [In0="handle<pmt>:release_always"] |
| Unpin(handle<pmt> handle) -> (status status); |
| }; |