Home
last modified time | relevance | path

Searched refs:resident_cpu (Results 1 – 1 of 1) sorted by relevance

/Linux-v6.1/drivers/firmware/psci/
Dpsci.c50 static int resident_cpu = -1; variable
56 return cpu == resident_cpu; in psci_tos_resident_on()
406 cpuid, resident_cpu); in psci_debugfs_read()
560 resident_cpu = cpu >= 0 ? cpu : -1; in psci_init_migrate()