Definition at line 607 of file mi-main.c.
Definition at line 610 of file mi-main.c.
Referenced by output_cores().
Definition at line 609 of file mi-main.c.