INTERRUPT_DESTROY
Purpose
interrupt_destroy destroys
an interruption handler.
Synopsis
#include <types.h>
#include <stub.h>
int interrupt_destroy(Capability
*interrupt);
Parameters
-
interrupt: a capability for the
interruption handler to be destroyed.
Description
interrupt_destroy destroys the interruption
handler designated by interrupt. When a handler is destroyed the
kernel assigns an internal dummy handler to it, so interruptions will nor
hazard the system.
Return Values
On success, interrupt_destroy returns
0 and the capability interrupt is no longer valid.
On fail, interrupt_destroy returns
a negative value indicating one of the following errors:
See Also
interrupt_create,
interrupt_status