VMI_PAGE_PAE      362 arch/x86/kernel/vmi_32.c 		BUG_ON((page->type ^ type) & VMI_PAGE_PAE);
VMI_PAGE_PAE      131 include/asm-x86/vmi.h #define VMI_PAGE_L1		(VMI_PAGE_PT | VMI_PAGE_PAE | VMI_PAGE_ZEROED)
VMI_PAGE_PAE      132 include/asm-x86/vmi.h #define VMI_PAGE_L2		(VMI_PAGE_PD | VMI_PAGE_PAE | VMI_PAGE_ZEROED)