plugin_register_read("mic", mic_read);
plugin_register_config("mic", mic_config, config_keys, config_keys_num);
} /* void module_register */
plugin_register_read("mic", mic_read);
plugin_register_config("mic", mic_config, config_keys, config_keys_num);
} /* void module_register */