tree f1df674795f45dbd2e2485a10210437fbd507c84
parent 636a2d078dfed558bcecba1009b49a795def485f
author Damon Lee <Damon.Lee@data61.csiro.au> 1583810393 +1100
committer Damon Lee <Damon.Lee@data61.csiro.au> 1584493877 +1100

libsel4vmmplatsupport: Fix an off-by-one error

Previously, the 'end' of an IO port range was not inclusive. This would
result in a bug where one IO port whose value is the 'end' of a range
would be mistaken as being part of that range when it should not be.
This commit fixes it so that the 'end' of an IO port range is now
inclusive. Also harden the range overlap check.