void platform_private_stop_single_hook_timer(void);
platform_private_stop_single_hook_timer is a utility function when implementing platform_unhook_single_timer on platforms that offer only one timer. platform_private_stop_single_hook_timer stops a the previously-started single instance of a hook timer.