Kernel watchdog timeout
Implement kernel watchdog that detects when firmware becomes
unresponsive.
Change-Id: I5c5b58a56a2ce629e1fd7cabae83b61823239ea6
diff --git a/kernel/ethosu_mailbox.h b/kernel/ethosu_mailbox.h
index f004f92..956685b 100644
--- a/kernel/ethosu_mailbox.h
+++ b/kernel/ethosu_mailbox.h
@@ -39,6 +39,7 @@
struct ethosu_device;
struct ethosu_core_msg;
struct ethosu_core_queue;
+struct ethosu_watchdog;
struct resource;
typedef void (*ethosu_mailbox_cb)(void *user_arg);
@@ -54,6 +55,7 @@
struct mbox_chan *tx;
ethosu_mailbox_cb callback;
void *user_arg;
+ struct ethosu_watchdog *wdog;
};
/****************************************************************************
@@ -70,7 +72,8 @@
struct resource *in_queue,
struct resource *out_queue,
ethosu_mailbox_cb callback,
- void *user_arg);
+ void *user_arg,
+ struct ethosu_watchdog *wdog);
/**
* ethosu_mailbox_deinit() - Deinitialize mailbox