Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/smp.c __smp_call_function_single() -> get_single_csd_data()

Type Parameter Key Value
DATA_SOURCE 0 cpu $0
STR_LEN 0 cpu (-1),8-9,11-29,31-34,38
NOSPEC 0 cpu
NOSPEC 0 cpu
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cpu 1-8192[c]
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &new_base->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &old_base->lock
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex
HALF_LOCKED2 &pol->rwsem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &pp->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &clockevents_mutex
HALF_LOCKED2 global &hfi_instance_lock
HALF_LOCKED2 global &pmus_lock
HALF_LOCKED2 global &rcu_state.barrier_mutex
HALF_LOCKED2 global &rdtgroup_mutex
HALF_LOCKED2 irq