Symbol: ve_pcr_update