Andrew Turner c78ad207ba 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

2021-05-01 06:01:20 +00:00

..

efidev.c

efidev: remove EFIIOC_GET_TABLE ioctl

2021-01-08 10:41:50 -06:00

efirt.c

Switch the EFI virtual address to a uint64_t

2021-05-01 06:01:20 +00:00

efirtc.c

Improve error messages from clock_if.m method failures.

2018-09-02 20:17:51 +00:00