Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/core/page_pool_user.c page_pool_unreg_netdev() -> hlist_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 from 4096-ptr_max
PARAM_VALUE 0 from->first 1-u64max
PARAM_VALUE 1 last 4096-ptr_max
PARAM_VALUE 2 to 4096-ptr_max
NOCHECK_CALL
LOCK2 global &page_pools_lock

lib/debugobjects.c pool_push_batch() -> hlist_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 from 2280733368644468736,7995245886988709888
PARAM_VALUE 0 from->first 4096-ptr_max
PARAM_VALUE 2 to 643172748885221376,5100753452384944128
DATA_SOURCE 0 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &pool_lock

fs/pnode.c transfer_propagation() -> hlist_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 from 4096-ptr_max
PARAM_VALUE 1 last 208,4096-ptr_max
PARAM_VALUE 2 to 4096-ptr_max
BUF_SIZE 1 last 0,16
BUF_SIZE 1 last 0,16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 global &namespace_sem