semmutex-r0drv-freebsd.c revision 715e49c31b15c23c17a9ce3be42a75e7c48d4b78