VMI_PAGE_PD       466 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE | VMI_PAGE_PD);
VMI_PAGE_PD       485 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, (pte_t *)pmdp, VMI_PAGE_PD);
VMI_PAGE_PD       528 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, (pte_t *)pmd, VMI_PAGE_PD);
VMI_PAGE_PD       132 include/asm-x86/vmi.h #define VMI_PAGE_L2		(VMI_PAGE_PD | VMI_PAGE_PAE | VMI_PAGE_ZEROED)
VMI_PAGE_PD       135 include/asm-x86/vmi.h #define VMI_PAGE_L2		(VMI_PAGE_PD | VMI_PAGE_ZEROED)