Searched refs:dbgirq_ctx (Results 1 – 5 of 5) sorted by relevance
49 extern void *dbgirq_ctx[NR_CPUS];
177 dbgirq_ctx[hw_cpu] = alloc_stack(); in exc_lvl_early_init()
675 void *dbgirq_ctx[NR_CPUS] __read_mostly; variable
685 dbgirq_ctx[i] = sp; in exc_lvl_early_init()
203 #define DBG_STACK_BASE dbgirq_ctx