Implementing Mutex in IOKIT driver