diff options
| author | peter <peter@FreeBSD.org> | 2001-11-19 07:25:42 +0000 |
|---|---|---|
| committer | peter <peter@FreeBSD.org> | 2001-11-19 07:25:42 +0000 |
| commit | c7b37ae4855087c064285dc0daf34e56af36bd41 (patch) | |
| tree | 519110a5ea0c77b9f0fc5b92239b3d6c7f056cc0 /sys/ia64/include/efi.h | |
| parent | 06e76c4e5cecb6bb0c1215d192f3868795b9a4be (diff) | |
| download | FreeBSD-src-c7b37ae4855087c064285dc0daf34e56af36bd41.zip FreeBSD-src-c7b37ae4855087c064285dc0daf34e56af36bd41.tar.gz | |
Initial cut at calling the EFI-provided FPSWA (Floating Point Software
Assist) driver to handle the "messy" floating point cases which
cause traps to the kernel for handling.
Diffstat (limited to 'sys/ia64/include/efi.h')
| -rw-r--r-- | sys/ia64/include/efi.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/ia64/include/efi.h b/sys/ia64/include/efi.h index 2363812..1ac7154 100644 --- a/sys/ia64/include/efi.h +++ b/sys/ia64/include/efi.h @@ -35,6 +35,7 @@ #include <boot/efi/include/efidevp.h> #include <boot/efi/include/eficon.h> #include <boot/efi/include/efiapi.h> +#include <boot/efi/include/efifpswa.h> extern EFI_SYSTEM_TABLE *ia64_efi_systab; extern EFI_RUNTIME_SERVICES *ia64_efi_runtime; |
