taglinefilesource code
SMP_PRINTK201arch/i386/kernel/smp.cSMP_PRINTK(("    Bootup CPU\n"));
SMP_PRINTK223arch/i386/kernel/smp.cSMP_PRINTK(("Bus #%d is %s\n",
SMP_PRINTK279arch/i386/kernel/smp.cSMP_PRINTK(("Scan SMP from %p for %ld bytes.\n",
SMP_PRINTK457arch/i386/kernel/smp.cSMP_PRINTK(("CALLIN %d\n",smp_processor_id()));
SMP_PRINTK485arch/i386/kernel/smp.cSMP_PRINTK(("Commenced..\n"));
SMP_PRINTK543arch/i386/kernel/smp.cSMP_PRINTK(("CPU map: %lx\n", cpu_present_map));
SMP_PRINTK577arch/i386/kernel/smp.cSMP_PRINTK(("Setting warm reset code and vector.\n"));
SMP_PRINTK603arch/i386/kernel/smp.cSMP_PRINTK(("Asserting INIT.\n"));
SMP_PRINTK637arch/i386/kernel/smp.cSMP_PRINTK(("Deasserting INIT.\n"));
SMP_PRINTK669arch/i386/kernel/smp.cSMP_PRINTK(("Sending first STARTUP.\n"));
SMP_PRINTK699arch/i386/kernel/smp.cSMP_PRINTK(("Sending second STARTUP.\n"));