tree 920b5fb06dc03c724f15abcb4c5e4a731a290bec
parent 72aaeca527a81625f5c2316b996d34247f5954ea
author Andrew Walbran <qwandor@google.com> 1538140914 +0100
committer Andrew Walbran <qwandor@google.com> 1538156079 +0100

Implement mm_free_page_pte.

Change-Id: I535b71957d30b43420c6722931ae5b1ad88626df