John Baldwin be5d6589e0 Remove more Alpha bits from the boot code including fixing several ... stale comments.		2006-05-12 04:09:53 +00:00
..
bootinfo.c	Remove more Alpha bits from the boot code including fixing several	2006-05-12 04:09:53 +00:00
copy.c	o Introduce efimd_va2pa() to translate addresses in efi_copy{in|out}()	2004-11-28 00:30:22 +00:00
delay.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
devicename.c	Convert to __FBSDID.	2004-01-04 23:30:47 +00:00
efi_console.c	Reset the text attributes when initializing the console. The EFI	2004-03-09 04:00:33 +00:00
efiboot.h	Start each of the license/copyright comments with /*-	2005-01-05 22:16:58 +00:00
efifpswa.c	Convert to __FBSDID.	2004-01-04 23:30:47 +00:00
efifs.c	Don't hardcode unit 0 for the current device if we're loaded from an	2003-08-02 08:22:03 +00:00
efinet.c	Convert to __FBSDID.	2004-01-04 23:30:47 +00:00
elf_freebsd.c	Redefine a PTE as a 64-bit integral type instead of a struct of	2004-09-23 18:37:36 +00:00
libefi.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
Makefile	o Introduce efimd_va2pa() to translate addresses in efi_copy{in|out}()	2004-11-28 00:30:22 +00:00
module.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
time.c	Start each of the license/copyright comments with /*-	2005-01-05 22:16:58 +00:00