struct device*
device_addseq(struct device* parent, void* underlay, char* name_fmt, ...);
struct device*
device_addvol(struct device* parent, void* underlay, char* name_fmt, ...);
struct device*
device_addseq(struct device* parent, void* underlay, char* name_fmt, ...);
struct device*
device_addvol(struct device* parent, void* underlay, char* name_fmt, ...);