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

// zx_vaddr_t: virtual address.
alias Vaddr = uintptr64;

// zx_paddr_t: physical address.
alias Paddr = uintptr64;

// zx_gpaddr_t: hypervisor guest physical addresses.
alias Gpaddr = uintptr64;