#ifndef __PLATFORM_WDT_H__
#define __PLATFORM_WDT_H__

int platform_wdt_feed( void );

#endif