device_info 56 sys/include/device.h int device_info(struct devinfo *); device_info 76 sys/kern/system.c error = device_info(buf);