arm64: Define cmpxchg64 and cmpxchg64_local for outside use
authorChen Gang <gang.chen@asianux.com>
Mon, 22 Apr 2013 05:08:41 +0000 (06:08 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Tue, 23 Apr 2013 10:47:26 +0000 (11:47 +0100)
Drivers use cmpxchg64, cmpxchg64_local to perform 64-bit operation, so
they can cross 32-bit and 64-bit platforms (it is a standard way).

Signed-off-by: Chen Gang <gang.chen@asianux.com>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

No differences found