Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/netconsole.c alloc_param_target() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->extended 1
PARAM_VALUE 0 nt->local_ip 0-255
PARAM_VALUE 0 nt->local_ip.ip 0
PARAM_VALUE 0 nt->np.dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 nt->np.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 nt->np.dev_tracker->dead 0-1
PARAM_VALUE 0 nt->np.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 nt->np.name 8901062170992873472
PARAM_VALUE 0 nt->release 1
PARAM_VALUE 0 nt->remote_ip 0-255
PARAM_VALUE 0 nt->skb_pool.next 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nt->state 0
PARAM_VALUE 0 *nt->np->dev_mac 0-255
PARAM_VALUE 0 *nt->remote_mac 255
BUF_SIZE 0 nt 2712
DATA_SOURCE 0 nt r alloc_and_init
TERMINATED 0 nt->np.name 1
NOCHECK_CALL
USER_DATA 0 nt->local_port 0-u16max
USER_DATA 0 nt->remote_port 0-u16max

drivers/net/netconsole.c drop_netconsole_target() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->resume_wq.lockdep_map->name 0-255
PARAM_VALUE 0 nt->state 0-1,3-u32max
CAPPED_DATA 0 &nt->resume_wq 1
DATA_SOURCE 0 nt r to_target
FUZZY_MAX 0 nt->state 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &subsys->su_mutex
HALF_LOCKED2 &dentry->d_lockref.lock
TYPE_LOCK (struct configfs_subsystem)->su_mutex

drivers/net/netconsole.c enabled_store() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->local_ip.ip 0
PARAM_VALUE 0 nt->np.dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 nt->np.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 nt->np.dev_tracker->dead 0-1
PARAM_VALUE 0 nt->np.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 nt->skb_pool.next 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nt->state 0-1,3-u32max
DATA_SOURCE 0 nt r to_target
FUZZY_MAX 0 nt->state 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 global &dynamic_netconsole_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

drivers/net/netconsole.c free_param_target() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->local_ip 0-255
PARAM_VALUE 0 nt->resume_wq.lockdep_map->name 0-255
PARAM_VALUE 0 nt->state 1
CAPPED_DATA 0 &nt->resume_wq 1
DATA_SOURCE 0 nt $0
NOCHECK_CALL

drivers/net/netconsole.c netconsole_process_cleanups_core() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
CAPPED_DATA 0 &nt->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &target_cleanup_list_lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/net/netconsole.c process_resume_target() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->list.next->prev 4096-ptr_max
PARAM_VALUE 0 nt->list.prev->next 4096-ptr_max
PARAM_VALUE 0 nt->np.dev 4096-ptr_max
PARAM_VALUE 0 nt->np.dev->npinfo 0,4096-ptr_max
PARAM_VALUE 0 nt->np.dev->reg_state 0,2-255
PARAM_VALUE 0 nt->np.dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.next 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nt->state 1
NOCHECK_CALL
LOCK2 global &dynamic_netconsole_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock

drivers/net/netconsole.c resume_target() -> netconsole_skb_pool_flush()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->list.next->prev 4096-ptr_max
PARAM_VALUE 0 nt->list.prev->next 4096-ptr_max
PARAM_VALUE 0 nt->local_ip.ip 0
PARAM_VALUE 0 nt->np.dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 nt->np.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 nt->np.dev_tracker->dead 0-1
PARAM_VALUE 0 nt->np.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 nt->skb_pool.next 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev 4096-ptr_max
PARAM_VALUE 0 nt->skb_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nt->state 2
DATA_SOURCE 0 nt $0
NOCHECK_CALL
LOCK2 global &dynamic_netconsole_mutex
HALF_LOCKED2 &pool->lock