dragon-nx32: runticks is 16 bit
authorTormod Volden <debian.tormod@gmail.com>
Sun, 19 Apr 2015 16:43:40 +0000 (18:43 +0200)
committerAlan Cox <alan@linux.intel.com>
Sun, 19 Apr 2015 17:45:45 +0000 (18:45 +0100)
commit8bd86c8188b317f7a2ddea079fb0692e70d4fea0
tree747faab059b916c54b8be4942c01b171d1bc23c9
parent89388516241948c82828dbeb9b2ad342ebe932a2
dragon-nx32: runticks is 16 bit

This is wrong for many other ports as well.

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>
Kernel/platform-dragon-nx32/tricks.s