be16_to_cpu(((u16 *) &attr.sys_image_guid)[0]), be16_to_cpu(((u16 *) &attr.sys_image_guid)[1]), be16_to_cpu(((u16 *) &attr.sys_image_guid)[2]), be16_to_cpu(((u16 *) &attr.sys_image_guid)[3])); 
be16_to_cpu(((__be16 *) &attr.sys_image_guid)[0]), be16_to_cpu(((__be16 *) &attr.sys_image_guid)[1]), be16_to_cpu(((__be16 *) &attr.sys_image_guid)[2]), be16_to_cpu(((__be16 *) &attr.sys_image_guid)[3])); 
static ssize_t show_sys_image_guid(struct class_device *cdev, char *buf){	struct ib_device *dev = container_of(cdev, struct ib_device, class_dev);	struct ib_device_attr attr;	ssize_t ret;	ret = ib_query_device(dev, &attr);	if (ret)		return ret;	return sprintf(buf, "%04x:%04x:%04x:%04x\n",		       be16_to_cpu(((u16 *) &attr.sys_image_guid)[0]),		       be16_to_cpu(((u16 *) &attr.sys_image_guid)[1]),		       be16_to_cpu(((u16 *) &attr.sys_image_guid)[2]),		       be16_to_cpu(((u16 *) &attr.sys_image_guid)[3]));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/sysfs.c/clean/drivers/infiniband/core/sysfs.c