svn commit: r205434 - head/sys/ia64/ia64

[Marcel Moolenaar]

Author: marcel
Date: Mon Mar 22 04:01:45 2010
New Revision: 205434
URL: http://svn.freebsd.org/changeset/base/205434

Log:
  With preemption, the high FP registers may get enabled by cpu_switch()
  before we grab the mutex. Don't assert that they must be disabled at
  that point. We pretty much bypass all logic in that case anyway and
  leave immediately, so there's no harm.

Modified:
  head/sys/ia64/ia64/highfp.c

Modified: head/sys/ia64/ia64/highfp.c
==============================================================================
--- head/sys/ia64/ia64/highfp.c	Mon Mar 22 03:55:18 2010	(r205433)
+++ head/sys/ia64/ia64/highfp.c	Mon Mar 22 04:01:45 2010	(r205434)
@@ -92,8 +92,6 @@ ia64_highfp_enable(struct thread *td, st
 	pcb = td->td_pcb;
 
 	mtx_lock_spin(&ia64_highfp_mtx);
-	KASSERT((tf->tf_special.psr & IA64_PSR_DFH) != 0,
-	    ("(tf->tf_special.psr & IA64_PSR_DFH) == 0"));
 	cpu = pcb->pcb_fpcpu;
 #ifdef SMP
 	if (cpu != NULL && cpu != pcpup) {