Symbol: tpm2_pcr_read