s390_vxrs_high_get 1389 arch/s390/kernel/ptrace.c .get = s390_vxrs_high_get, s390_vxrs_high_get 1633 arch/s390/kernel/ptrace.c .get = s390_vxrs_high_get,