Searched defs:VKI_EBADF (Results 1 – 2 of 2) sorted by relevance
530 #define VKI_EBADF EBADF macro
1155 #define VKI_EBADF 9 /* Bad file number */ macro