VMCOREINFO_CONFIG  205 arch/arm/kernel/machine_kexec.c 	VMCOREINFO_CONFIG(ARM_LPAE);
VMCOREINFO_CONFIG  157 arch/ia64/kernel/machine_kexec.c 	VMCOREINFO_CONFIG(PGTABLE_3);
VMCOREINFO_CONFIG  159 arch/ia64/kernel/machine_kexec.c 	VMCOREINFO_CONFIG(PGTABLE_4);
VMCOREINFO_CONFIG  149 arch/sh/kernel/machine_kexec.c 	VMCOREINFO_CONFIG(X2TLB);
VMCOREINFO_CONFIG  261 arch/x86/kernel/machine_kexec_32.c 	VMCOREINFO_CONFIG(X86_PAE);