Searched defs:VKI_EFAULT (Results 1 – 2 of 2) sorted by relevance
535 #define VKI_EFAULT EFAULT macro
1161 #define VKI_EFAULT 14 /* Bad address */ macro