dev_info(&chip->pci_dev->dev, "Aborting WTX\n"); 
dev_info(chip->dev, "Aborting WTX\n"); 
static void tpm_wtx_abort(struct tpm_chip *chip){	dev_info(&chip->pci_dev->dev, "Aborting WTX\n");	wait_and_send(chip, TPM_VL_VER);	wait_and_send(chip, TPM_CTRL_WTX_ABORT);	wait_and_send(chip, 0x00);	wait_and_send(chip, 0x00);	number_of_wtx = 0;	msleep(TPM_WTX_MSLEEP_TIME);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e659a3fe2027b19ecd8abb7ad79253672763454b/tpm_infineon.c/clean/drivers/char/tpm/tpm_infineon.c