Symbol: ve_pcr_get