machine_check_addr  108 arch/powerpc/platforms/pseries/setup.c 	unsigned long system_reset_addr, machine_check_addr;
machine_check_addr  124 arch/powerpc/platforms/pseries/setup.c 	machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START;
machine_check_addr  127 arch/powerpc/platforms/pseries/setup.c 				machine_check_addr))