static unsigned long atmel_get_base_addr(struct tpm_vendor_specific 
static void __iomem * atmel_get_base_addr(struct tpm_vendor_specific 
static unsigned long atmel_get_base_addr(struct tpm_vendor_specific					 *vendor){	int lo, hi;	if (atmel_verify_tpm11() != 0)		return 1;	lo = tpm_read_index(TPM_ADDR, TPM_ATMEL_BASE_ADDR_LO);	hi = tpm_read_index(TPM_ADDR, TPM_ATMEL_BASE_ADDR_HI);	vendor->base = (hi << 8) | lo;	vendor->region_size = 2;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/90612b308f2a2cc8aa08fbaf6f7184f5b7b5a855/tpm_atmel.h/buggy/drivers/char/tpm/tpm_atmel.h