Searched refs:vki_user_fxsr_struct (Results 1 – 5 of 5) sorted by relevance
588 struct vki_user_fxsr_struct { struct630 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t;
874 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t;
698 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t;
1096 sizeof(struct vki_user_fxsr_struct) ); in PRE()1112 sizeof(struct vki_user_fxsr_struct) ); in PRE()1153 POST_MEM_WRITE( ARG4, sizeof(struct vki_user_fxsr_struct) ); in POST()
730 // struct vki_user_fxsr_struct