freebsd-skq/sys/boot/efi
peter b866d91337 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
..
include Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
libefi Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
loader
Makefile
Makefile.inc