Symbol: sysconf_reboot
sys/arch/armv7/vexpress/sysreg.c
58
void sysconf_reboot(void);
sys/arch/armv7/vexpress/sysreg.c
96
cpuresetfn = sysconf_reboot;