diff options
| -rw-r--r-- | sys/ia64/ia64/highfp.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sys/ia64/ia64/highfp.c b/sys/ia64/ia64/highfp.c index 3aa3af0..f18773b 100644 --- a/sys/ia64/ia64/highfp.c +++ b/sys/ia64/ia64/highfp.c @@ -92,8 +92,6 @@ ia64_highfp_enable(struct thread *td, struct trapframe *tf) 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) { |
