psci_tos_resident_on 61 arch/arm/kernel/psci_smp.c if (psci_tos_resident_on(cpu)) psci_tos_resident_on 51 arch/arm64/kernel/psci.c return !psci_tos_resident_on(cpu); psci_tos_resident_on 61 arch/arm64/kernel/psci.c if (psci_tos_resident_on(cpu)) psci_tos_resident_on 62 drivers/firmware/psci/psci_checker.c if (psci_tos_resident_on(cpu)) { psci_tos_resident_on 16 include/linux/psci.h bool psci_tos_resident_on(int cpu);