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