Symbol: ve_pcr_hashed_get