freebsd-dev/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 Remove bootinfo.bi_kernel. It isn't used by the kernel. struct bootinfo 2001-11-19 07:05:10 +00:00
ski Remove bootinfo.bi_kernel. It isn't used by the kernel. struct bootinfo 2001-11-19 07:05:10 +00:00
skiload
Makefile