be32_to_cpu(*(data + 14))); 
be32_to_cpu(*((__be32 *) (data + 14)))); 
static ssize_t show_caps(struct device *dev, struct device_attribute *attr, char *buf){	u8 data[sizeof(cap_manufacturer)];	ssize_t len;	char *str = buf;	struct tpm_chip *chip =	    pci_get_drvdata(to_pci_dev(dev));	if (chip == NULL)		return -ENODEV;	memcpy(data, cap_manufacturer, sizeof(cap_manufacturer));	if ((len = tpm_transmit(chip, data, sizeof(data))) <	    CAP_MANUFACTURER_RESULT_SIZE)		return len;	str += sprintf(str, "Manufacturer: 0x%x\n",		       be32_to_cpu(*(data + 14)));	memcpy(data, cap_version, sizeof(cap_version));	if ((len = tpm_transmit(chip, data, sizeof(data))) <	    CAP_VER_RESULT_SIZE)		return len;	str +=	    sprintf(str, "TCG version: %d.%d\nFirmware version: %d.%d\n",		    (int) data[14], (int) data[15], (int) data[16],		    (int) data[17]);	return str - buf;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/81179bb6a54c2c626b4cbcc084ca974bb2d7f2a3/tpm.c/buggy/drivers/char/tpm/tpm.c