// 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 Cache {
    // TODO(scottmg): Something to tell In0 to be a void* in C.
    /// Flush CPU data and/or instruction caches.
    [Vdsocall]
    Flush(vaddr addr, usize size, uint32 options) -> (status status);
};