tree b0e0a267364b3026c48fe5ba809f008a7a68c8cb
parent 5cd2c5b6ad75c46d40118ac67c0c09d4e7930a65
author Richard Henderson <rth@twiddle.net> 1268265424 -0800
committer Paul Brook <paul@codesourcery.com> 1268411492 +0000

Fix last page errors in page_check_range and page_set_flags.

The addr < end comparison prevents iterating over the last
page in the guest address space; an iteration based on
length avoids this problem.

At the same time, assert that the given address is in the
guest address space.

Signed-off-by: Richard Henderson <rth@twiddle.net>