# title
CMSIS: How to retrieve RTX timer tick counter

# topic.label
CMSIS: How to retrieve RTX timer tick counter