/* @event notified event @context pointer to the timeout  */
static void EFIAPI notify(struct efi_event *event, void *context)
/* @event notified event @context pointer to the timeout  */
static void EFIAPI notify(struct efi_event *event, void *context)
{
	struct notify_context *notify_context = context;
	efi_status_t ret = EFI_SUCCESS;
	if (!notify_context)
		return;
	ret = boottime->set_watchdog_timer(1, 0, 0, NULL);
	if (ret != EFI_SUCCESS)
		notify_context->status = ret;
	notify_context->timer_ticks++;
}