Searched refs:__vki_vector128 (Results 1 – 2 of 2) sorted by relevance
57 } __attribute((aligned(16))) __vki_vector128; typedef301 typedef __vki_vector128 vki_elf_vrreg_t;
58 } __vki_vector128; typedef742 typedef __vki_vector128 vki_elf_vrreg_t;