HardenedBSD/sys/boot/ia64
Peter Wemm 24ffe931b9 Lookup the EFI_FPSWA driver and pass the interface pointer through to the
kernel before we call ExitBootServices().  I've typed the definitions
in efifpswa.h from the Intel FPSWA manual (urk).
2001-11-19 07:09:47 +00:00
..
common Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
efi
libski
ski
skiload
Makefile