Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/icmp.c icmp6_send() -> icmpv6_xmit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_local_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_main_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter s32min-s32max
BUF_SIZE 0 sk 0
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r icmpv6_xmit_lock
PARAM_COMPARE 0 &sk->sk_write_queue == $0->sk_write_queue.next
BIT_INFO 0 sk 0x0,0x0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &x->lock

net/ipv6/icmp.c icmpv6_echo_reply() -> icmpv6_xmit_unlock()

Type Parameter Key Value
BUF_SIZE 0 sk 0
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r icmpv6_xmit_lock
PARAM_COMPARE 0 &sk->sk_write_queue == $0->sk_write_queue.next
BIT_INFO 0 sk 0x0,0x0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh