Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/jump_label.c jump_label_add_module() -> jump_entry_set_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-18446744073709547519 |
| CAPPED_DATA | 0 | entry | 1 |
| DATA_SOURCE | 1 | set | r within_module_init |
| NOCHECK_CALL | |||
| LOCK2 | global &jump_label_mutex |
kernel/jump_label.c jump_label_init() -> jump_entry_set_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 6453383810875359232-7065287034119426047 |
| PARAM_VALUE | 1 | set | 0 |
| DATA_SOURCE | 1 | set | r init_section_contains |
| NOCHECK_CALL | |||
| LOCK2 | global &jump_label_mutex | ||
| LOCK2 | irq |