Page MenuHomeFreeBSD
Differential D16586

Fix casts between 64-bit physical addresses and pointers in EFI.
ClosedPublic
Actions

Authored by jhb on Aug 3 2018, 9:00 PM.
Tags
None
Referenced Files
F157024487: D16586.id46270.diff
Mon, May 18, 12:25 AM
F157024410: D16586.id46906.diff
Mon, May 18, 12:24 AM
F157020445: D16586.diff
Sun, May 17, 11:59 PM
Unknown Object (File)
Fri, May 8, 6:17 PM
Unknown Object (File)
Mon, May 4, 4:16 PM
Unknown Object (File)
Fri, May 1, 9:47 PM
Unknown Object (File)
Thu, Apr 30, 8:31 AM
Unknown Object (File)
Wed, Apr 29, 5:08 PM
View All 96 Files
Subscribers
None

Details

Reviewers
imp
kevans
Commits
rS338022: Fix casts between 64-bit physical addresses and pointers in EFI.
Summary

Compiling FreeBSD/i386 with modern GCC triggers warnings for various
places that convert 64-bit EFI_ADDRs to pointers and vice versa.

  • Cast pointers to uintptr_t rather than to uint64_t when assigning to a 64-bit integer.
  • Cast 64-bit integers to uintptr_t before a cast to a pointer.
Test Plan
  • build world with CROSS_TOOLCHAIN=i386-gcc

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

jhb created this revision.Aug 3 2018, 9:00 PM
Harbormaster completed remote builds in B18569: Diff 46270.Aug 3 2018, 9:00 PM
kevans accepted this revision.Aug 14 2018, 4:23 AM
This revision is now accepted and ready to land.Aug 14 2018, 4:23 AM
Closed by commit rS338022: Fix casts between 64-bit physical addresses and pointers in EFI. (authored by jhb). · Explain WhyAug 18 2018, 8:28 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
head/
stand/
efi/
loader/
arch/
i386/
12 lines
2 lines
6 lines

Diff 46906

View Options

head/stand/efi/loader/arch/i386/efimd.c

Loading...
View Options

head/stand/efi/loader/bootinfo.c

Loading...
View Options

head/stand/efi/loader/copy.c

Loading...