Symbol: tpm2_pcr_read_out