Symbol: GICD_CTRL_Enable
sys/arch/arm/cortex/gic.c
686
gicd_write(sc, GICD_CTRL, GICD_CTRL_Enable); // enable Distributer
sys/arch/arm/vexpress/vexpress_platform.c
134
GICD_CTRL, GICD_CTRL_Enable);