c78ad207ba
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 |
||
---|---|---|
.. | ||
allwinner | ||
altera/socfpga | ||
annapurna/alpine | ||
arm | ||
broadcom/bcm2835 | ||
cloudabi32 | ||
conf | ||
freescale | ||
include | ||
linux | ||
mv | ||
nvidia | ||
qemu | ||
rockchip | ||
ti | ||
xilinx |