added some basic mutexes to userspace