Symbol: platform_powerdown
sys/arch/armv7/armv7/armv7_machdep.h
22
void platform_powerdown(void);
sys/arch/armv7/armv7/platform.c
69
powerdownfn = platform_powerdown;