void xnpipe_umount(void) { int i; rthal_apc_free(xnpipe_wakeup_apc); unregister_chrdev(XNPIPE_DEV_MAJOR, "rtpipe"); for (i = 0; i < XNPIPE_NDEVS; i++) wrap_device_destroy(xnpipe_class, MKDEV(XNPIPE_DEV_MAJOR, i)); class_destroy(xnpipe_class); }
int xnselect_umount(void) { rthal_apc_free(xnselect_apc); return 0; }
void pse51_apc_pkg_cleanup(void) { rthal_apc_free(pse51_lostage_apc); }