/sysdeps/ia32/bits/

• ../
• memory.h
• spin-lock.h