AddrRange: Remove the unused range_ops header
authorAndreas Hansson <andreas.hansson@arm.com>
Mon, 10 Sep 2012 15:57:40 +0000 (11:57 -0400)
committerAndreas Hansson <andreas.hansson@arm.com>
Mon, 10 Sep 2012 15:57:40 +0000 (11:57 -0400)
commit3215ed97549a5cb65414e0f926cc8ab17b5c473b
treedcefe8db4de3b309cd556552173e92b163b926aa
parent1f9c3bcb462f84b97b75f264553180523eaf6419
AddrRange: Remove the unused range_ops header

This patch prunes the range_ops header that is no longer used. The
bridge used it to do filtering of address ranges, but this is changed
since quite some time.

Ultimately this patch aims to simplify the handling of ranges before
specialising the AddrRange to an AddrRegion that also allows striping
bits to be selected.
src/base/range_ops.hh [deleted file]