Revert RWSEM for now