rtos : remove unused parameter
authorMichel JAOUEN <michel.jaouen@stericsson.com>
Tue, 3 Jan 2012 14:34:14 +0000 (15:34 +0100)
committerØyvind Harboe <oyvindharboe@gmail.com>
Sun, 15 Jan 2012 22:07:24 +0000 (22:07 +0000)
commitca173ff4d4b92ab5a3df89c3a0cd4d47edd4042c
treecd877f11ce02ed04d4db01dde0be5febb4525243
parentfa5b0833d5fd146e9ceb9a91b2e8e6364f3bf53a
rtos : remove unused parameter

Change-Id: I98c9f28a0085bd4713b694181ab544777091eac6
Signed-off-by: Michel JAOUEN <michel.jaouen@stericsson.com>
Reviewed-on: http://openocd.zylin.com/341
Tested-by: jenkins
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>
src/rtos/rtos.c
src/rtos/rtos.h
src/server/gdb_server.c