Add the guts for EFI runtime services support on amd64. This will be used
authorkettenis <kettenis@openbsd.org>
Sun, 16 Oct 2022 15:03:39 +0000 (15:03 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 16 Oct 2022 15:03:39 +0000 (15:03 +0000)
commit40b59acf4bb41dfb3941bf6c12c2b8292065d3b0
treeeee446553cfa5eb78c72c8166323175085ca8fd0
parent181c1305382ad221fabec210497f656bc06bd590
Add the guts for EFI runtime services support on amd64.  This will be used
in the future to implement support for things like EFI variables.

ok krw@ (a few others ok'ed earlier incarnations of this diff)
sys/arch/amd64/amd64/bios.c
sys/arch/amd64/amd64/efi_machdep.c [new file with mode: 0644]
sys/arch/amd64/amd64/machdep.c
sys/arch/amd64/amd64/pmap.c
sys/arch/amd64/conf/GENERIC
sys/arch/amd64/conf/files.amd64
sys/arch/amd64/include/pmap.h
sys/dev/efi/efi.h