1118 printk("CPU[%d]: Sending penguins to jail...",
1119    smp_processor_id());
[...]
1136 printk("CPU[%d]: Giving pardon to "
1137    "imprisoned penguins\n",
1138    smp_processor_id());