Symbol: target_alloc_device