kdb_dump_stack_on_cpu
extern void kdb_dump_stack_on_cpu(int cpu);
kdb_dump_stack_on_cpu(kdb_process_cpu(p));