On Wed, Apr 18, 2012 at 12:24:29PM +0200, Davidlohr Bueso wrote:> From: Davidlohr Bueso <dave@gnu.org>> > Its much cleaner to use PT_PAGE_TABLE_LEVEL than its numeric value.> > Signed-off-by: Davidlohr Bueso <dave@gnu.org>> ---> arch/x86/kvm/mmu.c | 2 +-> arch/x86/kvm/paging_tmpl.h | 2 +-> 2 files changed, 2 insertions(+), 2 deletions(-)Applied, thanks.