Symbol: set_ctrl
sys/arm/arm/generic_timer.c
385
set_ctrl(ctrl, sc->physical_sys);
sys/arm/arm/generic_timer.c
400
set_ctrl(ctrl, physical);
sys/arm/arm/generic_timer.c
424
set_ctrl(ctrl, sc->physical_sys);