Lines Matching refs:VKI_EFAULT
1067 SET_STATUS_Failure( VKI_EFAULT );1075 SET_STATUS_Failure( VKI_EFAULT );1083 SET_STATUS_Failure( VKI_EFAULT );