[als0]

"There is only a single reference5 dated to 2010 indicating that Microsoft might use a similar approach for its NT kernel."

[cmpxchg8b]

Googling for it brings up a ton of results.