tree 78ea87aa80becdaeb09ce55a62edbffbbde40676
parent f1aa19eba6b8160cac7b4c4f2368b2885df2621c
author Wedson Almeida Filho <wedsonaf@google.com> 1544978088 +0000
committer Wedson Almeida Filho <wedsonaf@google.com> 1544978255 +0000

Use explicit page pool in page table manipulation.

Change-Id: Icb9eddf62011cf0e27a075c2eaf14d6718b068b6