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