kgdb_tasklet_breakpoint 1007 kernel/debug/debug_core.c static DECLARE_TASKLET(kgdb_tasklet_breakpoint, kgdb_tasklet_bpt, 0);
kgdb_tasklet_breakpoint 1016 kernel/debug/debug_core.c 	tasklet_schedule(&kgdb_tasklet_breakpoint);