tree 1ef427b70b292da841ac7cf4047dfded65a86846
parent 066ee711f14464536c4975f7c103a857482a681f
author Andrew Scull <ascull@google.com> 1574173267 +0000
committer Andrew Scull <ascull@google.com> 1574258125 +0000

Improve page table defragmentation logic.

All entries in a table should be defragmented even once it is known that
the table itself will not be able to merge. Care must also be taken to
ensure an entry is present before making further use of its properties.

Change-Id: I513bca451449628704ecc18e3f15e8bcc52197cc