INTERRUPT_STATUS
Purpose
interrupt_status returns the status
of a interruption handler.
Synopsis
#include <types.h>
#include <stub.h>
int interrupt_status(Capability
*interrupt, Interrupt_Status
*status);
Parameters
-
interrupt: a capability for the
interruption handler;
-
status: the current interruption
handler status.
Description
interrupt_status returns the status
of the interruption handler designated by interrupt.
Return Values
On success, interrupt_status returns
0 and status contains information about the current status of the
specified interruption handler.
On fail, interrupt_status returns a
negative value indicating one of the following errors:
See Also
interrupt_create,
interrupt_destroy