Fix page calculation in checksums
authorIvan Maidanski <ivmai@mail.ru>
Fri, 23 Sep 2016 06:39:18 +0000 (09:39 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Fri, 23 Sep 2016 06:41:45 +0000 (09:41 +0300)
commit6837b48ce6e0593cb84683cbb65f94648a6341b7
tree78791ddb2862cc11c57ad828c31a68e73aa03fda
parent4edfb65614a99712a1113683084f08cc5c17a304
Fix page calculation in checksums

While consistent use of rounding mode for computing GC_faulted entries
is ok, the proper way of getting page number of an address is just to
clear the lowest bits of the latter.

* checksums.c (GC_record_fault, GC_was_faulted): Do not round-up when
computing page.
* checksums.c (GC_record_fault): Add assertion that GC_page_size is
initialized.
checksums.c