out_arch_exit     256 drivers/firmware/psci/psci_checker.c 			goto out_arch_exit;
out_arch_exit     265 drivers/firmware/psci/psci_checker.c out_arch_exit: