TPM_STS_BITS
sc->sc_stat, TPM_STS_BITS);
printf("tpm_waitfor: b0 %b\n", b0, TPM_STS_BITS);
sc->sc_stat, TPM_STS_BITS, b, TPM_STS_BITS);
TPM_STS_BITS);
sc->sc_stat, TPM_STS_BITS);
sc->sc_stat, TPM_STS_BITS);
sc->sc_stat, TPM_STS_BITS);
sc->sc_stat, TPM_STS_BITS);