Most recent kernel where this bug did not occur: n/a
Distribution: n/a
Hardware Environment: n/a
Software Environment: n/a
Problem Description: In order to prevent gcc from making incorrect
optimizations, all asm() statements that define system calls should report
memory as clobbered. Recent versions of the headers for i386 have been changed
accordingly, but the ARM headers are still defective.

Steps to reproduce:

Use the _syscallX() macros and notice how every once in a while gcc tries to
cache modified memory values across system calls.