Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c init_pod_type() -> init_pod_type param 1()

Type Parameter Key Value
PARAM_VALUE 0 cpu0 1-64
PARAM_VALUE 1 cpu1 0-63
CAPPED_DATA 0 cpu0 1
CAPPED_DATA 1 cpu1 1
DATA_SOURCE 0 cpu0 r find_next_bit
DATA_SOURCE 1 cpu1 r find_next_bit
PARAM_COMPARE 0 cpu0 > $1
PARAM_COMPARE 1 cpu1 < $0
CONSTRAINT 0 cpu0 <3035
CONSTRAINT 1 cpu1 <3035
NO_OVERFLOW_SIMPLE 0 cpu0
NO_OVERFLOW_SIMPLE 1 cpu1
UNITS 0 cpu0 unit_array_size
UNITS 1 cpu1 unit_array_size