print_device_short
print_device_short(dev, indent);
print_device_short(dev->parent, indent+1);
static void print_device_short(device_t dev, int indent);