dbgirq_ctx         49 arch/powerpc/include/asm/irq.h extern void *dbgirq_ctx[NR_CPUS];
dbgirq_ctx        203 arch/powerpc/kernel/head_booke.h #define DBG_STACK_BASE		dbgirq_ctx
dbgirq_ctx        675 arch/powerpc/kernel/irq.c void    *dbgirq_ctx[NR_CPUS] __read_mostly;
dbgirq_ctx        177 arch/powerpc/kernel/setup_32.c 		dbgirq_ctx[hw_cpu] = alloc_stack();
dbgirq_ctx        705 arch/powerpc/kernel/setup_64.c 		dbgirq_ctx[i] = sp;