Searched refs:__vki_vector128 (Results 1 – 2 of 2) sorted by relevance
58 } __vki_vector128; typedef729 typedef __vki_vector128 vki_elf_vrreg_t;
55 } __attribute((aligned(16))) __vki_vector128; typedef299 typedef __vki_vector128 vki_elf_vrreg_t;