freebsd-skq/sys/boot/ia64/common
2002-04-19 06:43:09 +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 Allocate sufficient pages to hold the bootinfo block and stop 2002-04-19 06:43:09 +00:00