EFAULT
status_t error = EFAULT;
error = -EFAULT;
error = -EFAULT;
return -EFAULT;
return -EFAULT;
return -EFAULT;
error = EFAULT;
error = EFAULT;
error = EFAULT;
error = EFAULT;
return (EFAULT);
return (EFAULT);
errno = EFAULT;
E(EFAULT),
ADD_ERROR(EFAULT);
return EFAULT;
return EFAULT;
signalError = EFAULT;
EFAULT, thread->team->id);
__set_errno(EFAULT);
CHK(errno == EFAULT);
CHK(errno == EFAULT);