Searched refs:VKI_EBADF (Results 1 – 6 of 6) sorted by relevance
772 SET_STATUS_Failure( VKI_EBADF ); in PRE()1432 SET_STATUS_Failure( VKI_EBADF ); in PRE()2037 SET_STATUS_Failure( VKI_EBADF ); in PRE()2056 SET_STATUS_Failure( VKI_EBADF ); in PRE()2080 SET_STATUS_Failure( VKI_EBADF ); in PRE()2093 SET_STATUS_Failure( VKI_EBADF ); in PRE()2284 SET_STATUS_Failure( VKI_EBADF ); in PRE()2324 SET_STATUS_Failure(VKI_EBADF); in PRE()2344 SET_STATUS_Failure(VKI_EBADF); in PRE()2828 SET_STATUS_Failure( VKI_EBADF ); in PRE()[all …]
3002 SET_STATUS_Failure( VKI_EBADF ); in PRE()3033 SET_STATUS_Failure( VKI_EBADF ); in PRE()3797 SET_STATUS_Failure( VKI_EBADF ); in PRE()3822 SET_STATUS_Failure( VKI_EBADF ); in PRE()3932 SET_STATUS_Failure( VKI_EBADF ); in PRE()4255 SET_STATUS_Failure( VKI_EBADF ); in PRE()
1293 SET_STATUS_Failure( VKI_EBADF ); in PRE()3361 SET_STATUS_Failure( VKI_EBADF ); in PRE()3897 SET_STATUS_Failure( VKI_EBADF ); in PRE()3929 SET_STATUS_Failure( VKI_EBADF ); in PRE()
850 case VKI_EBADF: return "Bad file descriptor"; in VG_()
530 #define VKI_EBADF EBADF macro
1214 #define VKI_EBADF 9 /* Bad file number */ macro