Simple rename, and +/- a comment
commit491ba5767931712d675e6ec96cda608876522c5b
authorDouglas Katzman <dougk@google.com>
Mon, 2 Oct 2017 20:18:04 +0000 (2 16:18 -0400)
committerDouglas Katzman <dougk@google.com>
Mon, 2 Oct 2017 20:21:14 +0000 (2 16:21 -0400)
tree408171316c91e32779bc5d284ec0b5125109d0ca
parentac3c40705d1c82ceb4d256332683f9ce78b0a357
Simple rename, and +/- a comment

"Now that ... page is in range" didn't make a lot of sense,
because we already dereferenced page_table preceding that comment.
src/runtime/gencgc.c