|
@@ -48,7 +48,6 @@
|
|
|
* -ECHRNG: This manager cannot handle this many channels.
|
|
|
* -EEXIST: Channel manager already exists for this device.
|
|
|
* Requires:
|
|
|
- * chnl_init(void) called.
|
|
|
* channel_mgr != NULL.
|
|
|
* mgr_attrts != NULL.
|
|
|
* Ensures:
|
|
@@ -70,7 +69,6 @@ extern int chnl_create(struct chnl_mgr **channel_mgr,
|
|
|
* 0: Success.
|
|
|
* -EFAULT: hchnl_mgr was invalid.
|
|
|
* Requires:
|
|
|
- * chnl_init(void) called.
|
|
|
* Ensures:
|
|
|
* 0: Cancels I/O on each open channel.
|
|
|
* Closes each open channel.
|
|
@@ -79,31 +77,4 @@ extern int chnl_create(struct chnl_mgr **channel_mgr,
|
|
|
*/
|
|
|
extern int chnl_destroy(struct chnl_mgr *hchnl_mgr);
|
|
|
|
|
|
-/*
|
|
|
- * ======== chnl_exit ========
|
|
|
- * Purpose:
|
|
|
- * Discontinue usage of the CHNL module.
|
|
|
- * Parameters:
|
|
|
- * Returns:
|
|
|
- * Requires:
|
|
|
- * chnl_init(void) previously called.
|
|
|
- * Ensures:
|
|
|
- * Resources, if any acquired in chnl_init(void), are freed when the last
|
|
|
- * client of CHNL calls chnl_exit(void).
|
|
|
- */
|
|
|
-extern void chnl_exit(void);
|
|
|
-
|
|
|
-/*
|
|
|
- * ======== chnl_init ========
|
|
|
- * Purpose:
|
|
|
- * Initialize the CHNL module's private state.
|
|
|
- * Parameters:
|
|
|
- * Returns:
|
|
|
- * TRUE if initialized; FALSE if error occurred.
|
|
|
- * Requires:
|
|
|
- * Ensures:
|
|
|
- * A requirement for each of the other public CHNL functions.
|
|
|
- */
|
|
|
-extern bool chnl_init(void);
|
|
|
-
|
|
|
#endif /* CHNL_ */
|