// 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.
library zx;

@transport("Syscall")
protocol pmt {
    // TODO(fxbug.dev/32803): handle ZX_OBJ_TYPE_PMT; No rights required?
    /// Unpin pages and revoke device access to them.
    pmt_unpin(resource struct {
        @release
        handle handle:PMT;
    }) -> (struct {
        status status;
    });
};