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",