resident_cpu       48 drivers/firmware/psci/psci.c static int resident_cpu = -1;
resident_cpu       52 drivers/firmware/psci/psci.c 	return cpu == resident_cpu;
resident_cpu      382 drivers/firmware/psci/psci.c 	resident_cpu = cpu >= 0 ? cpu : -1;