HomeFreeBSD

Switch the EFI virtual address to a uint64_t

Description

Switch the EFI virtual address to a uint64_t

It is defined as a uint64_t in the UEFI spec. As it's not used as a
pointer by the kernel follow this and define it as the same in the
kernel.

Reviewed by: kib, manu, imp
Sponsored by: Innovate UK
Differential Revision: https://reviews.freebsd.org/D29759

Details

Provenance
andrewAuthored on Apr 14 2021, 8:22 AM
Reviewer
kib
Differential Revision
D29759: Switch the EFI virtual address to a uint64_t
Parents
rG2abd4f858146: Add a way to map arm64 non-posted device memory
Branches
Unknown
Tags
Unknown