Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c workqueue_init_topology() -> init_pod_type()

Type Parameter Key Value
PARAM_VALUE 0 pt 2976803727373090824
BUF_SIZE 0 pt 192
NOCHECK_CALL

kernel/workqueue.c workqueue_init_topology() -> init_pod_type()

Type Parameter Key Value
PARAM_VALUE 0 pt 2976803727373090832
BUF_SIZE 0 pt 160
NOCHECK_CALL

kernel/workqueue.c workqueue_init_topology() -> init_pod_type()

Type Parameter Key Value
PARAM_VALUE 0 pt 2976803727373090840
BUF_SIZE 0 pt 128
NOCHECK_CALL

kernel/workqueue.c workqueue_init_topology() -> init_pod_type()

Type Parameter Key Value
PARAM_VALUE 0 pt 2976803727373090848
BUF_SIZE 0 pt 96
NOCHECK_CALL

kernel/workqueue.c workqueue_init_topology() -> init_pod_type()

Type Parameter Key Value
PARAM_VALUE 0 pt 2976803727373090856
BUF_SIZE 0 pt 64
NOCHECK_CALL