ARM64_VECTOR_TABLE_LEN
memcpy(hyp_stub, &trans_pgd_stub_vectors, ARM64_VECTOR_TABLE_LEN);
ARM64_VECTOR_TABLE_LEN);