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_exit() -> ne_teardown_cpu_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/virt/nitro_enclaves/ne_misc_dev.c ne_set_kernel_param() -> ne_teardown_cpu_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPABLE | 0 | 21 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/virt/nitro_enclaves/ne_misc_dev.c ne_set_kernel_param() -> ne_teardown_cpu_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPABLE | 0 | 21 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |