taglinefilesource code
SMP_PRINTK200arch/i386/kernel/smp.cSMP_PRINTK(("    Bootup CPU\n"));
SMP_PRINTK222arch/i386/kernel/smp.cSMP_PRINTK(("Bus #%d is %s\n",
SMP_PRINTK278arch/i386/kernel/smp.cSMP_PRINTK(("Scan SMP from %p for %ld bytes.\n",
SMP_PRINTK456arch/i386/kernel/smp.cSMP_PRINTK(("CALLIN %d\n",smp_processor_id()));
SMP_PRINTK484arch/i386/kernel/smp.cSMP_PRINTK(("Commenced..\n"));
SMP_PRINTK542arch/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_PRINTK589arch/i386/kernel/smp.cSMP_PRINTK(("Asserting INIT.\n"));
SMP_PRINTK615arch/i386/kernel/smp.cSMP_PRINTK(("Deasserting INIT.\n"));
SMP_PRINTK647arch/i386/kernel/smp.cSMP_PRINTK(("Sending first STARTUP.\n"));
SMP_PRINTK677arch/i386/kernel/smp.cSMP_PRINTK(("Sending second STARTUP.\n"));