smp_dump_mptable  254 arch/x86/kernel/mpparse.c 			smp_dump_mptable(mpc, mpt);
smp_dump_mptable  775 arch/x86/kernel/mpparse.c 			smp_dump_mptable(mpc, mpt);