[Main]
Name=Timer_Callback_t
Type=Type
Subtype=Pointer
Header Files=system.h
Definition=typedef CALLBACK void (*Timer_Callback_t) (void);

[Description]
Describes a timer callback function.

[Explanation]
Timer_Callback_t describes a timer callback function for <A HREF="$$LINK(OSVRegisterTimer)">OSVRegisterTimer</A>.
