void platform_private_unhook_single_timer(PLATFORM_HOOK_t *p);
platform_private_unhook_single_timer is a utility function when implementing platform_unhook_timer on platforms that offer only one timer.
For platforms that provide a single timer took, platform_unhook_timer should call platform_private_unhook_single_timer and provide implementations of platform_private_start_single_hook_timer and platform_private_stop_single_hook_timer to control the timer interrupt.