Searched refs:dbgirq_ctx (Results 1 – 4 of 4) sorted by relevance
42 extern void *dbgirq_ctx[NR_CPUS];
195 dbgirq_ctx[hw_cpu] = alloc_stack(); in exc_lvl_early_init()
339 void *dbgirq_ctx[NR_CPUS] __read_mostly; variable
169 #define DBG_STACK_BASE dbgirq_ctx