VMCOREINFO_SYMBOL_ARRAY  402 kernel/crash_core.c 	VMCOREINFO_SYMBOL_ARRAY(swapper_pg_dir);
VMCOREINFO_SYMBOL_ARRAY  412 kernel/crash_core.c 	VMCOREINFO_SYMBOL_ARRAY(mem_section);