xscale-linux/include/config/rwsem/xchgadd
