semspinmutex-r3-generic.cpp revision 0b4890533cbae4f30a0241d0780d4ff9daa304f4