Searched refs:VKI_EBADF (Results 1 – 6 of 6) sorted by relevance
722 SET_STATUS_Failure( VKI_EBADF ); in PRE()1333 SET_STATUS_Failure( VKI_EBADF ); in PRE()1890 SET_STATUS_Failure( VKI_EBADF ); in PRE()1909 SET_STATUS_Failure( VKI_EBADF ); in PRE()1933 SET_STATUS_Failure( VKI_EBADF ); in PRE()1946 SET_STATUS_Failure( VKI_EBADF ); in PRE()2126 SET_STATUS_Failure( VKI_EBADF ); in PRE()2166 SET_STATUS_Failure(VKI_EBADF); in PRE()2186 SET_STATUS_Failure(VKI_EBADF); in PRE()2669 SET_STATUS_Failure( VKI_EBADF ); in PRE()[all …]
2892 SET_STATUS_Failure( VKI_EBADF ); in PRE()2923 SET_STATUS_Failure( VKI_EBADF ); in PRE()3662 SET_STATUS_Failure( VKI_EBADF ); in PRE()3687 SET_STATUS_Failure( VKI_EBADF ); in PRE()3797 SET_STATUS_Failure( VKI_EBADF ); in PRE()4120 SET_STATUS_Failure( VKI_EBADF ); in PRE()
1277 SET_STATUS_Failure( VKI_EBADF ); in PRE()3335 SET_STATUS_Failure( VKI_EBADF ); in PRE()3871 SET_STATUS_Failure( VKI_EBADF ); in PRE()3903 SET_STATUS_Failure( VKI_EBADF ); in PRE()
768 case VKI_EBADF: return "Bad file descriptor"; in VG_()
530 #define VKI_EBADF EBADF macro
1187 #define VKI_EBADF 9 /* Bad file number */ macro