Fix offset calculation in populate_va
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 19 Aug 2016 19:55:05 +0000 (15:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 19 Aug 2016 19:55:05 +0000 (15:55 -0400)
commitad65e1094be182eff26dac2ea18f2e641b68672e
tree739f0d3a28b3114a77188f22a8baafe5c16c466f
parentf644f50aae5edf82145e311810a085c691aca4fb
Fix offset calculation in populate_va

That should clearly be a +, not a -, since we're figuring out how far into
the VMR to map.

This would trigger if you had a file mmapped that wasn't MAP_POPULATE, then
had a uthread fault on accessing that file, and it wasn't on the first page
of the file.

While we're here, we can also catch any integer overflows with offset and
length.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/mm.c