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.
Details
Details
- Reviewers
kib manu imp - Commits
- rGc78ad207baed: Switch the EFI virtual address to a uint64_t
Diff Detail
Diff Detail
- Repository
- rG FreeBSD src repository
- Lint
Lint Not Applicable - Unit
Tests Not Applicable