Symbol: platform_watchdog_reset
sys/arch/armv7/armv7/armv7_machdep.h
23
void platform_watchdog_reset(void);
sys/arch/armv7/armv7/platform.c
68
cpuresetfn = platform_watchdog_reset;