Searched refs:VMI_PAGE_PDP (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/include/asm/ | ||
| D | vmi.h | 120 #define VMI_PAGE_PDP 0x04 macro |
| /arch/x86/kernel/ | ||
| D | vmi_32.c | 407 vmi_ops.set_pte(pte, (pte_t *)pudp, VMI_PAGE_PDP); in vmi_set_pud() |