MAILBOX_DESTROY
Purpose
mailbox_destroy destroys a mailbox.
Synopsis
#include <types.h>
#include <stub.h>
int mailbox_destroy(Capability
*mailbox);
Parameters
-
mailbox: a capability for the mailbox
to be destroyed.
Description
mailbox_destroy destroys the mailbox
designated by mailbox.
Return Values
On success, mailbox_destroy returns
0 and the capability mailbox is no longer valid.
On fail, mailbox_destroy returns a
negative value indicating one of the following errors:
See Also
mailbox_create,
mailbox_status, act,
send, receive