void platform_unhook_timer(PLATFORM_HOOK_t *p);
platform_unhook_timer unhooks hook from the timer list such that it no longer runs.
platform_unhook_timer is thread-safe.
platform_hook_timer