Change-Id: I3c5f24548455a63d8d5a4482f5081347f631885a Refs: #452
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
Also use read-write-lock Change-Id: I03150b7208325ec1fe422dcd5f931e4e41c8e40e Refs: #452