Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/nitro_enclaves/ne_misc_dev.c ne_get_cpu_from_cpu_pool() -> ne_get_unused_core_from_cpu_pool()

Type Parameter Key Value
LOCK2 &ne_enclave->enclave_info_mutex
LOCK2 global &ne_cpu_pool.mutex
TYPE_LOCK (struct ne_cpu_pool)->mutex
TYPE_LOCK (struct ne_enclave)->enclave_info_mutex