ppi12             142 drivers/char/tpm/tpm_ppi.c 			goto ppi12;
ppi12             153 drivers/char/tpm/tpm_ppi.c ppi12: