out_efault       1119 kernel/futex.c 		goto out_efault;
out_efault       1187 kernel/futex.c out_efault: