Add wdtfeed function declaration

Adam5Wu · Adam5Wu · commit eff244202a09 · 2018-04-18T00:37:24.000-04:00
diff --git a/src/inner.h b/src/inner.h
@@ -2359,6 +2359,7 @@ br_cpuid(uint32_t mask_eax, uint32_t mask_ebx,
 
   #define _debugBearSSL (0)
   extern void optimistic_yield(uint32_t);
+  extern void system_soft_wdt_feed();
   extern void br_stack_proxy_enter();
   extern void *br_stack_proxy_alloc(size_t bytes);
   extern void br_stack_proxy_exit();
@@ -2382,6 +2383,7 @@ br_cpuid(uint32_t mask_eax, uint32_t mask_ebx,
   #define STACK_PROXY_ALLOC(type, name, count) type name[count]
   #define dumpstack()
   #define optimistic_yield(ignored)
+  #define system_soft_wdt_feed()
 #endif
 
 
