blob: 3d9d6d64fb608c87c98d0b359dfad51406a252b0 [file] [log] [blame]
// Copyright 2018 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.
#include "banjo/library_zx.h"
namespace banjo {
namespace LibraryZX {
const char kFilename[] = "zx.banjo";
const char kData[] = R"BANJO(
[Internal]
library zx;
using @status = int32;
using time = int64;
using duration = int64;
using koid = uint64;
using vaddr = uint64;
using paddr = uint64;
using paddr32 = uint32;
using gpaddr = uint64;
using off = uint64;
)BANJO";
} // namespace LibraryZX
} // namespace banjo