void __rtai_tasklets_exit(void) { int cpuid; reset_rt_fun_ext_index(rt_tasklet_fun, TASKLETS_IDX); cleanup_ptimers(); for (cpuid = 0; cpuid < num_online_cpus(); cpuid++) { rt_task_delete(&timers_manager[cpuid]); } printk(KERN_INFO "RTAI[tasklets]: unloaded.\n"); }
void __exit rtdm_skin_exit(void) { #ifdef CONFIG_RTAI_RTDM_SELECT xnselect_umount(); #endif rtai_timers_cleanup(); rtdm_dev_cleanup(); reset_rt_fun_ext_index(rtdm, RTDM_INDX); #ifdef CONFIG_PROC_FS rtdm_proc_cleanup(); #endif /* CONFIG_PROC_FS */ printk("RTDM stopped.\n"); }
/*** * lxrtnet_cleanup */ static void __exit lxrtnet_cleanup(void) { reset_rt_fun_ext_index(rt_lxrtnet_fun, LxRTNET_IDX); }
static void unregister_lxrt_usi_support(void) { reset_rt_fun_ext_index(rtai_usi_fun, FUN_USI_LXRT_INDX); }
void __rtai_comedi_exit(void) { reset_rt_fun_ext_index(rtai_comedi_fun, FUN_COMEDI_LXRT_INDX); }
/* cleanup module */ void cleanup_module(void) { reset_rt_fun_ext_index(rt_LiAS_fun, MYIDX); }