Searched refs:dbgirq_ctx (Results 1 – 5 of 5) sorted by relevance
42 extern void *dbgirq_ctx[NR_CPUS];
189 dbgirq_ctx[hw_cpu] = alloc_stack(); in exc_lvl_early_init()
338 void *dbgirq_ctx[NR_CPUS] __read_mostly; variable
756 dbgirq_ctx[i] = sp; in exc_lvl_early_init()
168 #define DBG_STACK_BASE dbgirq_ctx