Symbol: TPM_TIS_IRQ_TESTED