Symbol: tpm1_pcr_read