tos_resident_cpu   31 drivers/firmware/psci/psci_checker.c static int tos_resident_cpu = -1;
tos_resident_cpu   63 drivers/firmware/psci/psci_checker.c 				tos_resident_cpu = cpu;
tos_resident_cpu   66 drivers/firmware/psci/psci_checker.c 		if (tos_resident_cpu == -1)
tos_resident_cpu  100 drivers/firmware/psci/psci_checker.c 		} else if (cpu == tos_resident_cpu) {