Name

dev_alloc_name — allocate a name for a device