tree 23b6f53f85aeda0bb42f0a97891b15cb110bc303
parent 11a9b0bbb0f29e78b8fe74c9c86f8c2d6e31161b
author Wedson Almeida Filho <wedsonaf@google.com> 1544920729 +0000
committer Wedson Almeida Filho <wedsonaf@google.com> 1545061562 +0000

Use explicit page pool in page table manipulation.

Change-Id: Ibc3c21f815dfae54a541581941e553f79caaaace