is_current_as     445 arch/x86/kernel/vmi_32.c         ((level) | (is_current_as(mm, user) ?                           \
is_current_as     448 arch/x86/kernel/vmi_32.c         ((level) | (is_current_as(mm, user) ?                           \