/*
 * This software is licensed under the terms of the MIT License.
 * See COPYING for further information.
 * ---
 * Copyright (c) 2011-2024, Lukas Weber <laochailan@web.de>.
 * Copyright (c) 2012-2024, Andrei Alexeyev <akari@taisei-project.org>.
 */

#pragma once
#include "taisei.h"

void watchdog_init(int timeout);
void watchdog_shutdown(void);
bool watchdog_signaled(void);
void watchdog_reset(void);
void watchdog_suspend(void);