Definition at line 603 of file mi-main.c.
Definition at line 606 of file mi-main.c.
Referenced by output_cores().
Definition at line 605 of file mi-main.c.