Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/jump_label.c __jump_label_update() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 1-18446744073709547519
CAPPED_DATA 0 entry 1
DATA_SOURCE 0 entry $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &jump_label_mutex

kernel/jump_label.c __jump_label_update() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4097-18446744073709547519
CAPPED_DATA 0 entry 1
DATA_SOURCE 0 entry $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &jump_label_mutex

kernel/jump_label.c jump_label_add_module() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-18446744073709547519
CAPPED_DATA 0 entry 1
LOCK2 global &jump_label_mutex

kernel/jump_label.c jump_label_cmp() -> jump_entry_key()

Type Parameter Key Value
BUF_SIZE 0 entry (-1)-s32max
BUF_SIZE 0 entry (-1)-s32max
DATA_SOURCE 0 entry $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 entry->code s32min-s32max[u]
USER_DATA 0 entry->key s64min-s64max[u]
USER_DATA 0 entry->target s32min-s32max[u]
USER_PTR 0 entry

kernel/jump_label.c jump_label_cmp() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 entry->code s32min-s32max[u]
USER_DATA 0 entry->key s64min-s64max[u]
USER_DATA 0 entry->target s32min-s32max[u]
USER_PTR 0 entry

kernel/jump_label.c jump_label_cmp() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
BUF_SIZE 0 entry (-1)-s32max
BUF_SIZE 0 entry (-1)-s32max
DATA_SOURCE 0 entry $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 entry->code s32min-s32max[u]
USER_DATA 0 entry->key s64min-s64max[u]
USER_DATA 0 entry->target s32min-s32max[u]
USER_PTR 0 entry

kernel/jump_label.c jump_label_cmp() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 entry->code s32min-s32max[u]
USER_DATA 0 entry->key s64min-s64max[u]
USER_DATA 0 entry->target s32min-s32max[u]
USER_PTR 0 entry

kernel/jump_label.c jump_label_del_module() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 0-18446744073709547519
CAPPED_DATA 0 entry 1
LOCK2 global &jump_label_mutex

kernel/jump_label.c jump_label_del_module() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-18446744073709547519
CAPPED_DATA 0 entry 1
LOCK2 global &jump_label_mutex

kernel/jump_label.c jump_label_init() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 6453383810875359232-7065287034119426047
LOCK2 global &jump_label_mutex
LOCK2 irq

kernel/jump_label.c jump_label_init_ro() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 6453383810875359232-7065287034119426047
LOCK2 global &jump_label_mutex

kernel/jump_label.c jump_label_init_type() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-18446744073709547519
CAPPED_DATA 0 entry 1
DATA_SOURCE 0 entry $0
LOCK2 global &jump_label_mutex

kernel/jump_label.c jump_label_type() -> jump_entry_key()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-18446744073709547519
CAPPED_DATA 0 entry 1
DATA_SOURCE 0 entry $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &jump_label_mutex
HALF_LOCKED2 irq