cmd_config
{ cmd_config, "config", NULL, "display fault manager configuration" },
extern int cmd_config(fmd_adm_t *, int, char *[]);