Symbol: arm_ccn_for_each_valid_region