The type of message is determined by an error code
dei, returned by
remove_intr_handler. The name argument specifies
the driver. The other arguments should have the same value as for
the call to remove_intr_handler. vector is the
interrupt vector number.
This function is not supported for DDI drivers.
See
``Interrupt handlers, attaching and registering'' in HDK Technical Reference
for information about attaching and detaching interrupts
for DDI drivers.
name, int vector, int dei);