arch/alpha/kernel/smp.c

167

DBGS(("smp_callin: commencing CPU %d current %p active_mm %p\n",

arch/alpha/kernel/smp.c

243

DBGS(("recv_secondary_console_msg: TXRDY 0x%lx.\n", txrdy));

arch/alpha/kernel/smp.c

251

DBGS(("recv_secondary_console_msg: "

arch/alpha/kernel/smp.c

259

DBGS(("recv_secondary_console_msg: on %d from %d"

arch/alpha/kernel/smp.c

279

DBGS((KERN_INFO "recv_secondary_console_msg: on %d "

arch/alpha/kernel/smp.c

317

DBGS(("KSP 0x%lx PTBR 0x%lx VPTBR 0x%lx UNIQUE 0x%lx\n",

arch/alpha/kernel/smp.c

320

DBGS(("Starting secondary cpu %d: state 0x%lx pal_flags 0x%lx\n",

arch/alpha/kernel/smp.c

353

DBGS(("secondary_cpu_start: SUCCESS for CPU %d!!!\n", cpuid));

arch/alpha/kernel/smp.c

414

DBGS(("setup_smp: nr_processors %ld\n",

arch/alpha/kernel/smp.c

431

DBGS(("setup_smp: CPU %d: flags 0x%lx type 0x%lx\n",

arch/alpha/kernel/smp.c

433

DBGS(("setup_smp: CPU %d: PAL rev 0x%lx\n",

arch/alpha/kernel/smp.c

518

DBGS(("handle_ipi: on CPU %d ops 0x%lx PC 0x%lx\n",