Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tls/tls_device.c tls_device_push_pending_record() -> tls_push_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 iter 8573830266739994624
PARAM_VALUE 2 size 0
PARAM_VALUE 4 record_type 23
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 3 flags $1
BIT_INFO 3 flags 0x0,0x7fff7fff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 flags 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
LOCK2 0 sk
HALF_LOCKED2 &tls_ctx->tx_lock

net/tls/tls_device.c tls_device_sendmsg() -> tls_push_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 2 size $2
NOSPEC 1 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iter->count 1-18446744073709551614
USER_DATA 1 iter->iov_offset 0-u64max[c]
USER_DATA 2 size 0-u64max
USER_DATA 3 flags 0-s32max[c]
USER_DATA 4 record_type 0-255
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
UNITS 2 size unit_byte
LOCK2 &tls_ctx->tx_lock
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct tls_context)->tx_lock

net/tls/tls_device.c tls_device_splice_eof() -> tls_push_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_bind_node.pprev 4096-ptr_max
PARAM_VALUE 0 sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 sk->sk_callback_lock.raw_lock.wlocked 0
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 iter 3933662379406618624
PARAM_VALUE 2 size 0
PARAM_VALUE 3 flags 0
PARAM_VALUE 4 record_type 23
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 &tls_ctx->tx_lock
LOCK2 0 sk
TYPE_LOCK (struct tls_context)->tx_lock