hw_breakpoint_thread_switch
extern void hw_breakpoint_thread_switch(struct task_struct *next);
hw_breakpoint_thread_switch(next);
extern void hw_breakpoint_thread_switch(struct task_struct *next);
hw_breakpoint_thread_switch(next); \