35c35
< * $Id: npx.c,v 1.17 1994/11/14 14:59:06 bde Exp $
---
> * $Id: npx.c,v 1.18 1995/01/03 04:00:06 bde Exp $
342c342
< printf("IRQ 13 interface\n");
---
> ; /* higher level has printed "irq 13" */
446a447
> outb(0xf0, 0);
449c450
< outb(0xf0, 0);
---
> fnop();
565d565
< outb(0xf0, 0);
< * $Id: npx.c,v 1.17 1994/11/14 14:59:06 bde Exp $
---
> * $Id: npx.c,v 1.18 1995/01/03 04:00:06 bde Exp $
342c342
< printf("IRQ 13 interface\n");
---
> ; /* higher level has printed "irq 13" */
446a447
> outb(0xf0, 0);
449c450
< outb(0xf0, 0);
---
> fnop();
565d565
< outb(0xf0, 0);