jmg 5c564e2945 minor updates to make it more explicit that when using fpu_kern_thread,
you don't need to use fpu_kern_enter/_leave...

Reviewed by:	kib
2014-10-23 17:24:50 +00:00
..
2014-07-07 00:27:09 +00:00
2014-10-20 15:41:11 +00:00
2013-11-18 12:57:46 +00:00