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