Symbol: modify_actlr
sys/arm/arm/cpuinfo.c
371
if (actrl && !modify_actlr(0, set_mask))
sys/arm/arm/cpuinfo.c
377
modify_actlr(~0, PCPU_GET(original_actlr));