__vvar_page       111 arch/x86/entry/vdso/vma.c 				__pa_symbol(&__vvar_page) >> PAGE_SHIFT);
__vvar_page        32 arch/x86/include/asm/vvar.h extern char __vvar_page;