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;