Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/osq_lock.c osq_lock() -> encode_cpu()

Type Parameter Key Value
PARAM_VALUE 0 cpu_nr 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/osq_lock.c osq_unlock() -> encode_cpu()

Type Parameter Key Value
PARAM_VALUE 0 cpu_nr 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/osq_lock.c osq_wait_next() -> encode_cpu()

Type Parameter Key Value
PARAM_VALUE 0 cpu_nr 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING