dump_device
dump_device(device_node_cookie *node, uint8 level)
dump_device(int argc, char** argv)
dump_device(uint8 level)