kib 2d77212fe4 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
..
2010-06-05 09:31:13 +00:00
2010-05-24 07:04:00 +00:00
2010-05-24 16:41:05 +00:00
2010-06-05 08:58:03 +00:00
2010-06-02 17:27:23 +00:00
2010-05-24 16:27:47 +00:00