aboutsummaryrefslogtreecommitdiff
path: root/sys/ia64/include/efi.h
Commit message (Collapse)AuthorAgeFilesLines
* MFp4:Marcel Moolenaar2004-09-191-23/+142
| | | | | | | | | Completely remove the remaining EFI includes and add our own (type) definitions instead. While here, abstract more of the internals by providing interface functions. Notes: svn path=/head/; revision=135453
* Provide our own FPSWA definitions, instead of depending on the IntelMarcel Moolenaar2004-09-171-1/+0
| | | | | | | | | EFI headers and put them all in <machine/fpu.h>. The Intel EFI headers conflict with the Intel ACPI headers (duplicate type definitions), so are being phased out in the kernel. Notes: svn path=/head/; revision=135405
* Initial cut at calling the EFI-provided FPSWA (Floating Point SoftwarePeter Wemm2001-11-191-0/+1
| | | | | | | | Assist) driver to handle the "messy" floating point cases which cause traps to the kernel for handling. Notes: svn path=/head/; revision=86592
* Fill out the firmware interfaces somewhat.Doug Rabson2001-09-291-583/+10
| | | | Notes: svn path=/head/; revision=84122
* Fix a couple of typos which became obvious when I started to actually useDoug Rabson2001-03-041-3/+3
| | | | | | | this on real hardware. Notes: svn path=/head/; revision=73555
* Flesh out EFI support somewhat.Doug Rabson2001-01-291-23/+569
| | | | Notes: svn path=/head/; revision=71803
* This is the first snapshot of the FreeBSD/ia64 kernel. This kernel willDoug Rabson2000-09-291-0/+71
not work on any real hardware (or fully work on any simulator). Much more needs to happen before this is actually functional but its nice to see the FreeBSD copyright message appear in the ia64 simulator. Notes: svn path=/head/; revision=66458