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);