Konstantin Belousov 6cf9a08d2c Introduce the x86 kernel interfaces to allow kernel code to use ... FPU/SSE hardware. Caller should provide a save area that is chained into the stack of the areas; pcb save_area for usermode FPU state is on top. The pcb now contains a pointer to the current FPU saved area, used during FPUDNA handling and context switches. There is also a facility to allow the kernel thread to use pcb save_area. Change the dreaded warnings "npxdna in kernel mode!" into the panics when FPU usage is not registered. KPI discussed with: fabient Tested by: pho, fabient Hardware provided by: Sentex Communications MFC after: 1 month		2010-06-05 15:59:59 +00:00
..
acpi_machdep.c	Use the same policy for rejecting / not-reject ACPI tables with incorrect	2010-03-19 12:43:18 +00:00
acpi_switch.S	Simplify a macro not to generate unncessary symbols.	2009-12-08 22:38:42 +00:00
acpi_wakecode.S
acpi_wakeup.c	Introduce the x86 kernel interfaces to allow kernel code to use	2010-06-05 15:59:59 +00:00
genwakecode.sh
genwakedata.sh
madt.c
Makefile
OsdEnvironment.c