Searched refs:VKI_EBADF (Results 1 – 9 of 9) sorted by relevance
1116 SET_STATUS_Failure(VKI_EBADF); in spawn_pre_check_kfa()1126 SET_STATUS_Failure(VKI_EBADF); in spawn_pre_check_kfa()1141 SET_STATUS_Failure(VKI_EBADF); in spawn_pre_check_kfa()1811 SET_STATUS_Failure(VKI_EBADF); in PRE()1817 SET_STATUS_Failure(VKI_EBADF); in PRE()1843 SET_STATUS_Failure(VKI_EBADF); in PRE()2213 SET_STATUS_Failure(VKI_EBADF); in PRE()2303 SET_STATUS_Failure(VKI_EBADF); in PRE()2343 SET_STATUS_Failure(VKI_EBADF); in PRE()2372 SET_STATUS_Failure(VKI_EBADF); in PRE()[all …]
641 SET_STATUS_Failure(VKI_EBADF); in PRE()675 SET_STATUS_Failure(VKI_EBADF); in PRE()697 SET_STATUS_Failure(VKI_EBADF); in PRE()772 SET_STATUS_Failure(VKI_EBADF); in PRE()823 SET_STATUS_Failure(VKI_EBADF); in PRE()927 SET_STATUS_Failure(VKI_EBADF); in PRE()949 SET_STATUS_Failure(VKI_EBADF); in PRE()
794 SET_STATUS_Failure( VKI_EBADF ); in PRE()1473 SET_STATUS_Failure( VKI_EBADF ); in PRE()2078 SET_STATUS_Failure( VKI_EBADF ); in PRE()2097 SET_STATUS_Failure( VKI_EBADF ); in PRE()2121 SET_STATUS_Failure( VKI_EBADF ); in PRE()2134 SET_STATUS_Failure( VKI_EBADF ); in PRE()2327 SET_STATUS_Failure( VKI_EBADF ); in PRE()2367 SET_STATUS_Failure(VKI_EBADF); in PRE()2388 SET_STATUS_Failure(VKI_EBADF); in PRE()2878 SET_STATUS_Failure( VKI_EBADF ); in PRE()[all …]
3194 SET_STATUS_Failure( VKI_EBADF ); in PRE()3225 SET_STATUS_Failure( VKI_EBADF ); in PRE()4030 SET_STATUS_Failure( VKI_EBADF ); in PRE()4060 SET_STATUS_Failure( VKI_EBADF ); in PRE()4184 SET_STATUS_Failure( VKI_EBADF ); in PRE()4523 SET_STATUS_Failure( VKI_EBADF ); in PRE()
1801 SET_STATUS_Failure( VKI_EBADF ); in PRE()3991 SET_STATUS_Failure( VKI_EBADF ); in PRE()4604 SET_STATUS_Failure( VKI_EBADF ); in PRE()4636 SET_STATUS_Failure( VKI_EBADF ); in PRE()
1153 case VKI_EBADF: return "Bad file descriptor"; in VG_()
549 #define VKI_EBADF EBADF macro
434 #define VKI_EBADF EBADF macro
1236 #define VKI_EBADF 9 /* Bad file number */ macro