Symbol: sysconf_shutdown
sys/arch/armv7/vexpress/sysreg.c
59
void sysconf_shutdown(void);
sys/arch/armv7/vexpress/sysreg.c
97
powerdownfn = sysconf_shutdown;