DBGS 168 arch/alpha/kernel/smp.c DBGS(("smp_callin: commencing CPU %d current %p active_mm %p\n", DBGS 245 arch/alpha/kernel/smp.c DBGS(("recv_secondary_console_msg: TXRDY 0x%lx.\n", txrdy)); DBGS 253 arch/alpha/kernel/smp.c DBGS(("recv_secondary_console_msg: " DBGS 261 arch/alpha/kernel/smp.c DBGS(("recv_secondary_console_msg: on %d from %d" DBGS 281 arch/alpha/kernel/smp.c DBGS((KERN_INFO "recv_secondary_console_msg: on %d " DBGS 319 arch/alpha/kernel/smp.c DBGS(("KSP 0x%lx PTBR 0x%lx VPTBR 0x%lx UNIQUE 0x%lx\n", DBGS 322 arch/alpha/kernel/smp.c DBGS(("Starting secondary cpu %d: state 0x%lx pal_flags 0x%lx\n", DBGS 355 arch/alpha/kernel/smp.c DBGS(("secondary_cpu_start: SUCCESS for CPU %d!!!\n", cpuid)); DBGS 416 arch/alpha/kernel/smp.c DBGS(("setup_smp: nr_processors %ld\n", DBGS 433 arch/alpha/kernel/smp.c DBGS(("setup_smp: CPU %d: flags 0x%lx type 0x%lx\n", DBGS 435 arch/alpha/kernel/smp.c DBGS(("setup_smp: CPU %d: PAL rev 0x%lx\n", DBGS 531 arch/alpha/kernel/smp.c DBGS(("handle_ipi: on CPU %d ops 0x%lx PC 0x%lx\n",