Home
last modified time | relevance | path

Searched refs:VMI_PAGE_PDP (Results 1 – 2 of 2) sorted by relevance

/arch/x86/include/asm/
Dvmi.h120 #define VMI_PAGE_PDP 0x04 macro
/arch/x86/kernel/
Dvmi_32.c407 vmi_ops.set_pte(pte, (pte_t *)pudp, VMI_PAGE_PDP); in vmi_set_pud()