Searched refs:vki_elf_fpxregset_t (Results 1 – 4 of 4) sorted by relevance
630 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t; typedef
874 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t; typedef
698 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t; typedef
523 static void fill_xfpu(const ThreadState *tst, vki_elf_fpxregset_t *xfpu) in fill_xfpu()554 vki_elf_fpxregset_t xfpu; in dump_one_thread()