Searched refs:vki_user_fxsr_struct (Results 1 – 3 of 3) sorted by relevance
565 struct vki_user_fxsr_struct { struct607 typedef struct vki_user_fxsr_struct vki_elf_fpxregset_t;
1119 sizeof(struct vki_user_fxsr_struct) ); in PRE()1131 sizeof(struct vki_user_fxsr_struct) ); in PRE()1162 POST_MEM_WRITE( ARG4, sizeof(struct vki_user_fxsr_struct) ); in POST()
730 // struct vki_user_fxsr_struct