Symbol: edac_device_counter