third_party/fuchsia-sdk/arch/arm64/vdso/cache.fidl

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

// TODO(fxb/39732): This should be read as "library zx".
library zz;

[Transport = "Syscall"]
protocol cache {
    /// Flush CPU data and/or instruction caches.
    [vdsocall]
    cache_flush(const_voidptr addr, usize size, uint32 options) -> (status status);
};