Searched refs:resident_cpu (Results 1 – 1 of 1) sorted by relevance
50 static int resident_cpu = -1; variable56 return cpu == resident_cpu; in psci_tos_resident_on()406 cpuid, resident_cpu); in psci_debugfs_read()563 resident_cpu = cpu >= 0 ? cpu : -1; in psci_init_migrate()