target: Use proper data types for timer callback 20/4920/3
authorMarc Schink <openocd-dev@marcschink.de>
Fri, 15 Feb 2019 13:31:19 +0000 (14:31 +0100)
committerTomas Vanek <vanekt@fbl.cz>
Fri, 1 Mar 2019 08:31:50 +0000 (08:31 +0000)
commit17a052d6fe44fc265d48e94bdd3356d6f25ca064
tree9a611c4644b0e328b9be6ddab7e76391a19b2f05
parentf21c12abecb9df244f147740166378ede7ea398e
target: Use proper data types for timer callback

Change-Id: I5ca6da767f9e96180c43b179b2c682b1b7c98563
Signed-off-by: Marc Schink <openocd-dev@marcschink.de>
Reviewed-on: http://openocd.zylin.com/4920
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
src/target/target.c
src/target/target.h