Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/smpboot.c smpboot_register_percpu_thread() -> smpboot_destroy_threads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ht | 2028163836161171456,2217705263724908544,2692557656505810944,4756643538810691584,5078105929385340928,6496660866031681536,6543755296871264256 |
| DATA_SOURCE | 0 | ht | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &smpboot_threads_lock |
kernel/smpboot.c smpboot_unregister_percpu_thread() -> smpboot_destroy_threads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ht | 4096-ptr_max |
| DATA_SOURCE | 0 | ht | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &smpboot_threads_lock |