Re: [boost] ARM thumb support in spinlock_gcc_arm.hpp