Page MenuHomeFreeBSD

Switch the EFI virtual address to a uint64_t
ClosedPublic

Authored by andrew on Apr 14 2021, 11:19 AM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Dec 6, 11:10 PM
Unknown Object (File)
Sun, Nov 23, 6:43 AM
Unknown Object (File)
Sun, Nov 23, 6:37 AM
Unknown Object (File)
Sun, Nov 23, 6:37 AM
Unknown Object (File)
Sun, Nov 23, 6:35 AM
Unknown Object (File)
Sat, Nov 22, 11:57 AM
Unknown Object (File)
Sat, Nov 22, 11:28 AM
Unknown Object (File)
Nov 12 2025, 3:44 AM
Subscribers

Details

Summary

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.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 38571
Build 35460: arc lint + arc unit

Event Timeline

andrew retitled this revision from Switch the EIF virtual address to a uint64_t to Switch the EFI virtual address to a uint64_t.Apr 14 2021, 11:23 AM
This revision is now accepted and ready to land.Apr 14 2021, 2:15 PM
This revision was automatically updated to reflect the committed changes.