VMI_PAGE_VA_MASK 446 arch/x86/kernel/vmi_32.c (VMI_PAGE_CURRENT_AS | ((addr) & VMI_PAGE_VA_MASK)) : 0)) VMI_PAGE_VA_MASK 449 arch/x86/kernel/vmi_32.c (VMI_PAGE_DEFER | VMI_PAGE_CURRENT_AS | ((addr) & VMI_PAGE_VA_MASK)) : 0))