On 03.08.2017 20:40, Konrad Rzeszutek Wilk wrote: > 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? > L1 == Level 1 G1 == Guest 1 == Level 1 (valid question, I am used to the GX terminology (we used on s390x). L1 seems to be used in the context of VMX, so I'll try to use it for VMX in the future) -- Thanks, David
