Edit File: cmpxchg64.h