Symbol: trans_pgd_copy_el2_vectors