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
..
arch/ia64	Add the two sections used for PLT entries to the text and sdata sections	2001-10-25 08:50:14 +00:00
bootinfo.c	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +00:00
copy.c	Make this do the right thing (mostly). We should still reserve the pages	2001-09-14 08:26:00 +00:00
delay.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
devicename.c	Reformat.	2001-09-07 08:49:47 +00:00
efi_console.c	Fix FreeBSD id style.	2001-06-16 05:56:13 +00:00
efiboot.h	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +00:00
efifpswa.c	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +00:00
efifs.c	Fix typo in comment.	2001-10-11 13:47:20 +00:00
efinet.c	* Flesh out elf_exec and bootinfo.	2001-09-22 19:10:56 +00:00
elf_freebsd.c	Call ExitBootServices and disable interrupts before we start hacking	2001-10-25 08:53:39 +00:00
exit.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
libefi.c	Fix FreeBSD id style.	2001-06-16 05:56:13 +00:00
Makefile	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +00:00
module.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
time.c	Add getsecs() for the libstand network code.	2001-09-22 18:33:09 +00:00