show_ipi_list
extern void show_ipi_list(struct seq_file *, int);
show_ipi_list(p, prec);
extern void show_ipi_list(struct seq_file *p, int prec);
show_ipi_list(p, prec);
void show_ipi_list(struct seq_file *p, int prec);
show_ipi_list(p, prec);