Symbol: modify_user_hw_breakpoint_check