VMI_PAGE_PDP      336 arch/x86/kernel/vmi_32.c 	if (PTRS_PER_PMD > 1 && (type & VMI_PAGE_PDP))
VMI_PAGE_PDP      356 arch/x86/kernel/vmi_32.c 	if (PTRS_PER_PMD > 1 && (type & VMI_PAGE_PDP))
VMI_PAGE_PDP      514 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, (pte_t *)pudp, VMI_PAGE_PDP);