Searched refs:vxrs_high (Results 1 – 1 of 1) sorted by last modified time
55 uint64_t vxrs_high[16][2]; member167 __put_user(env->vregs[i + 16][0], &ext->vxrs_high[i][0]); in save_sigregs_ext()168 __put_user(env->vregs[i + 16][1], &ext->vxrs_high[i][1]); in save_sigregs_ext()353 __get_user(env->vregs[i + 16][0], &ext->vxrs_high[i][0]); in restore_sigregs_ext()354 __get_user(env->vregs[i + 16][1], &ext->vxrs_high[i][1]); in restore_sigregs_ext()