On Thu, Aug 03, 2017 at 04:09:06PM +0200, David Hildenbrand wrote: > nested_get_page() just sounds confusing. All we want is a page from G1. What is G1? Is that the same thing as L1? Or do you mean L2?
On Thu, Aug 03, 2017 at 04:09:06PM +0200, David Hildenbrand wrote: > nested_get_page() just sounds confusing. All we want is a page from G1. What is G1? Is that the same thing as L1? Or do you mean L2?
|