semfastmutex-r0drv-linux.c revision 47c238f82281a3771c8bfb66858da823ecf03dbc