This reverts commit 0d3ef65092. Reason for revert: This fix causes circular dependency with memory_range manipulation and TLB flush. See #1394. Change-Id: I4774e81ff300c199629e283e538c0a30ad0eeaae
0d3ef65092
Change-Id: If2ed2d488b4040d288d712f0a244505adbcec6f5 Refs: #1221
Also use read-write-lock Change-Id: I03150b7208325ec1fe422dcd5f931e4e41c8e40e Refs: #452