/* ib_query_device() returns the attributes of a device through the @device_attr pointer.  */
int ib_query_device(struct ib_device *device, struct ib_device_attr *device_attr)
/* ib_query_device() returns the attributes of a device through the @device_attr pointer.  */
int ib_query_device(struct ib_device *device, struct ib_device_attr *device_attr)
{
	return device->query_device(device, device_attr);
}