Searched refs:VKI_EBADF (Results 1 – 7 of 7) sorted by relevance
674 SET_STATUS_Failure( VKI_EBADF ); in PRE()1274 SET_STATUS_Failure( VKI_EBADF ); in PRE()1787 SET_STATUS_Failure( VKI_EBADF ); in PRE()1806 SET_STATUS_Failure( VKI_EBADF ); in PRE()1830 SET_STATUS_Failure( VKI_EBADF ); in PRE()1843 SET_STATUS_Failure( VKI_EBADF ); in PRE()2023 SET_STATUS_Failure( VKI_EBADF ); in PRE()2063 SET_STATUS_Failure(VKI_EBADF); in PRE()2083 SET_STATUS_Failure(VKI_EBADF); in PRE()2566 SET_STATUS_Failure( VKI_EBADF ); in PRE()[all …]
2910 SET_STATUS_Failure( VKI_EBADF ); in PRE()2941 SET_STATUS_Failure( VKI_EBADF ); in PRE()3680 SET_STATUS_Failure( VKI_EBADF ); in PRE()3705 SET_STATUS_Failure( VKI_EBADF ); in PRE()3815 SET_STATUS_Failure( VKI_EBADF ); in PRE()4134 SET_STATUS_Failure( VKI_EBADF ); in PRE()
1278 SET_STATUS_Failure( VKI_EBADF ); in PRE()3317 SET_STATUS_Failure( VKI_EBADF ); in PRE()3852 SET_STATUS_Failure( VKI_EBADF ); in PRE()3884 SET_STATUS_Failure( VKI_EBADF ); in PRE()
773 SET_STATUS_Failure( VKI_EBADF ); in PRE()
702 case VKI_EBADF: return "Bad file number"; in VG_()
530 #define VKI_EBADF EBADF macro
1155 #define VKI_EBADF 9 /* Bad file number */ macro