Searched refs:vxrs_high (Results 1 – 1 of 1) sorted by relevance
55 __vector128 vxrs_high[16]; member115 memcpy(sa->vxrs_high, vxrs + 16, 16 * sizeof(__vector128)); in save_area_add_vxrs()320 ptr = nt_init(ptr, S390_VXRS_HIGH, sa->vxrs_high); in fill_cpu_elf_notes()342 size += nt_size(S390_VXRS_HIGH, sa->vxrs_high); in get_cpu_elf_notes_size()