TPM_CRB_CTRL_STS_IDLE_BIT
mask = TPM_CRB_CTRL_STS_IDLE_BIT;
if (!(TPM_READ_4(dev, TPM_CRB_CTRL_STS) & TPM_CRB_CTRL_STS_IDLE_BIT)) {