/* * device_lookup: * * Look up a device instance for a given driver. */