Diffusion FreeBSD src repository c78ad207baed

Switch the EFI virtual address to a uint64_t
c78ad207baed
Actions

Tags

None

Referenced Files

None

Subscribers

None

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

Authored on Apr 14 2021, 8:22 AM

Reviewer

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

Event Timeline

andrew committed rGc78ad207baed: Switch the EFI virtual address to a uint64_t (authored by andrew).May 1 2021, 6:01 AM

andrew added an edge: D29759: Switch the EFI virtual address to a uint64_t.May 1 2021, 8:26 AM

andrew mentioned this in rGf1957db43d28: Fix building sysctl(8) after c78ad20.May 1 2021, 1:37 PM

Changes (7)

Path

Size

sys/

amd64/

amd64/

efirt_machdep.c

arm/

arm/

arm64/

arm64/

efirt_machdep.c

dev/

efidev/

sys/

rGc78ad207baed

sys/amd64/amd64/efirt_machdep.c

Loading...

sys/amd64/amd64/machdep.c

Loading...

sys/arm/arm/machdep_boot.c

Loading...

sys/arm64/arm64/efirt_machdep.c

Loading...

sys/arm64/arm64/machdep.c

Loading...

sys/dev/efidev/efirt.c

Loading...

sys/sys/efi.h

Loading...