print_cpu
print_cpu(irq_info_t *irqp, int evtchn)
print_cpu(struct cpu_snapshot *c1, struct cpu_snapshot *c2)