// PATCH: Make IntInit2() set up the IDT to handle FDC IRQ's
// FILE: ::/Kernel/KInts.HC
// TO INSTALL: #include this file after the line that sets the wake int handler.

IntEntrySet(I_FDC,&IRQ_FDC);