device_name is used to map a boot PD to a particular local name under the /dev directory tree so it has different semantics. That said, I think the variables name, size, etc. are unsufficiently descriptive so I've changed them to init_disk_name, init_disk_size, etc.