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