| commit | 8e1da4f139a409fad2086fb9456bfa836fba6c72 | [log] [tgz] |
|---|---|---|
| author | Wedson Almeida Filho <wedsonaf@google.com> | Sun Dec 16 16:34:48 2018 +0000 |
| committer | Wedson Almeida Filho <wedsonaf@google.com> | Sun Dec 16 16:37:35 2018 +0000 |
| tree | 78ea87aa80becdaeb09ce55a62edbffbbde40676 | |
| parent | f1aa19eba6b8160cac7b4c4f2368b2885df2621c [diff] |
Use explicit page pool in page table manipulation. Change-Id: Icb9eddf62011cf0e27a075c2eaf14d6718b068b6