Symbol: SYS_CFGCTRL_FUNCTION_REBOOT
sys/arch/arm/vexpress/vexpress_platform.c
209
__SHIFTIN(SYS_CFGCTRL_FUNCTION_REBOOT,
sys/arch/arm/vexpress/vexpress_sysreg.c
86
vexpress_sysreg_write(dev, SYS_CFGCTRL_FUNCTION_REBOOT, SYS_CFGCTRL_SITE_MB);