Searched refs:VKI_F_GETFL (Results 1 – 13 of 13) sorted by relevance
260 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
325 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
258 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
378 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
296 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
330 #define VKI_F_GETFL 3 /* get file->f_flags */ macro
274 #define VKI_F_GETFL F_GETFL macro
345 save_fcntl_flags = VG_(fcntl) (remote_desc, VKI_F_GETFL, 0); in remote_open()
3982 } else if ((fdfl = VG_(fcntl)(ARG1, VKI_F_GETFL, 0)) < 0) { in PRE()4002 Int fdfl = VG_(fcntl)(ARG1, VKI_F_GETFL, 0); in POST()4067 case VKI_F_GETFL: in PRE()4167 case VKI_F_GETFL: in PRE()
1069 case VKI_F_GETFL: in PRE()1236 case VKI_F_GETFL: in POST()
751 if (VG_(fcntl)(i, VKI_F_GETFL, 0) != -1) in init_preopened_fds_without_proc_self_fd()
480 #define VKI_F_GETFL 3 /* get file->f_flags */