genode/repos/base/include/spec/arm
Martin Stein b04a70177b base & arm: simplify and optimize cmpxchg
The old inline assembly provided two output operands that were afterwards
combined for a return value. However, the second output operand isn't
necessary when using the "Acquiring a Lock" example-code of the ARM manual
"Barrier Litmus Tests and Cookbook". This saves two logical operations
per acquisition try. Additionally better documentation is now provided.

Fixes #1292
2019-04-01 19:33:47 +02:00
..
cpu base & arm: simplify and optimize cmpxchg 2019-04-01 19:33:47 +02:00
vfp/cpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00