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