Doug Rabson bc14d41c7e Return the mapkey which EFI gave us when we read the memory map - we need ... it to call ExitBootServices.		2001-09-24 19:37:44 +00:00
..
bootinfo.c	Return the mapkey which EFI gave us when we read the memory map - we need	2001-09-24 19:37:44 +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	Tidy up a little - don't try to print anything or enable interrupts after	2001-09-24 19:36:45 +00:00