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