// 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;

using VmOption = uint32;

// TODO(scottmg): bits for ZX_VM_xyz flags, and const for ZX_VM_ALIGN_xyz.

[Transport="Syscall"]
protocol Vmar {
    /// Allocate a new subregion.
    [Out1="handle<vmar>:acquire"]
    Allocate(handle<vmar> parent_vmar, VmOption options, uint64 offset, uint64 size) ->
        (status status, handle<vmar> child_vmar, vaddr child_addr);

    // TODO(ZX-2967): handle No rights required?
    /// Destroy a virtual memory address region.
    Destroy(handle<vmar> handle) -> (status status);

    // TODO(ZX-2399): TODO handle and vmo and options must all match, and options can't specify them.
    /// Add a memory mapping.
    Map(handle<vmar> handle, VmOption options, uint64 vmar_offset,
        handle<vmo> vmo, uint64 vmo_offset,
        uint64 len) ->
        (status status, vaddr mapped_addr);

    // TODO(ZX-2967): handle No rights required?
    /// Unmap virtual memory pages.
    Unmap(handle<vmo> handle, vaddr addr, uint64 len) -> (status status);

    /// Set protection of virtual memory pages.
    Protect(handle<vmo> handle, VmOption options, vaddr addr, uint64 len) -> (status status);
};