timer_gettick(): Rename to timer_ticks() and add backwards compatibility inline.
[bertos.git] / kern / msg.h
2004-06-06 bernieImport into DevLib.