Symbol: CTRL_ENABLED
sys/arm/arm/pl310.c
527
if (pl310_read4(sc, PL310_CTRL) & CTRL_ENABLED) {
sys/arm/arm/pl310.c
546
platform_pl310_write_ctrl(sc, CTRL_ENABLED);