AND4
AND4(sc, TPM_CRB_INT_ENABLE, ~TPM_CRB_INT_ENABLE_BIT);
AND4(sc, TPM_INT_STS, RD4(sc, TPM_INT_STS));