Subject: Re: IRQ 13 reuse in 1.0?
To: None <ted@ags.ga.erg.sri.com>
From: Charles M. Hannum <mycroft@ai.mit.edu>
List: netbsd-users
Date: 03/01/1995 14:14:06 
   So, does it disable the co-processor from pulling on IRQ13, [...]

No, it does not.  `It' simply ignores the IRQ line.  I'm not aware of
any way to actually disable it.