static inline void atmel_put_base_addr(struct tpm_vendor_specific *vendor) 
static inline void atmel_put_base_addr(struct tpm_vendor_specific *vendor) 
static inline void atmel_put_base_addr(struct tpm_vendor_specific *vendor){}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/90612b308f2a2cc8aa08fbaf6f7184f5b7b5a855/tpm_atmel.h/buggy/drivers/char/tpm/tpm_atmel.h