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)