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
..
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
devicename.c	Reformat.	2001-09-07 08:49:47 +00:00
exec.c	Call ExitBootServices and disable interrupts before we start hacking	2001-10-25 08:53:39 +00:00