@ -175,7 +175,7 @@ ck_pr_load_64_2(const uint64_t target[2], uint64_t v[2])
{
__asm__ __volatile__("movq %%rdx, %%rcx;"
"movq %%rax, %%rbx;"
CK_PR_LOCK_PREFIX "cmpxchg16b %0;"
CK_PR_LOCK_PREFIX "cmpxchg16b %2;"
: "=a" (v[0]),
"=d" (v[1])
: "m" (*(const uint64_t *)target)