Symbol: get_device_count