added mutex functions for X86