--- bsd-user/bsd-file.h.orig 2016-04-22 10:48:53.927508000 +0200
+++ bsd-user/bsd-file.h 2016-04-22 10:48:59.625443000 +0200
@@ -346,8 +346,8 @@ static inline abi_long do_bsd_renameat(a
abi_long ret;
void *p1, *p2;
- LOCK_PATH(p1, arg1);
- LOCK_PATH(p2, arg2);
+ LOCK_PATH(p1, arg2);
+ LOCK_PATH(p2, arg4);
if (!p1 || !p2) {
ret = -TARGET_EFAULT;
} else {