Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/vmw_vsock/af_vsock.c vsock_create() -> __vsock_create()

Type Parameter Key Value
PARAM_VALUE 0 net->sysctls.dir.header.root->lookup 0,4096-ptr_max
PARAM_VALUE 0 net->sysctls.dir.header.root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 net->sysctls.dir.header.root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 1 sock 4096-ptr_max
PARAM_VALUE 1 sock->ops 89902521762455552,783367266728636416,2847565771986984960
PARAM_VALUE 1 sock->state 1
PARAM_VALUE 1 sock->type 1-2,5
PARAM_VALUE 2 parent 0
PARAM_VALUE 3 priority 3264
PARAM_VALUE 4 type 0
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
BUF_SIZE 1 sock (-1),192
BUF_SIZE 1 sock (-1),192
BUF_SIZE 1 sock->ops 240
DATA_SOURCE 0 net $0
DATA_SOURCE 1 sock $1
DATA_SOURCE 5 kern $3
BIT_INFO 1 sock->ops 0x4044000002000,0x2ffff5ffefdf7000
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->truesize
HALF_LOCKED2 global &bt_proto_lock

net/vmw_vsock/af_vsock.c vsock_create_connected() -> __vsock_create()

Type Parameter Key Value
PARAM_VALUE 1 sock 0
PARAM_VALUE 2 parent 4096-ptr_max
PARAM_VALUE 2 parent->__sk_common.skc_state 10
PARAM_VALUE 2 parent->sk_lock.owned 1
PARAM_VALUE 2 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 2 parent->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 2 parent->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 2 parent->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 3 priority 3264
PARAM_VALUE 5 kern 0
BUF_SIZE 2 parent (-1),1480
BUF_SIZE 2 parent (-1),1480
CAPPED_DATA 2 parent->__sk_common.skc_net.net 1
DATA_SOURCE 2 parent $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 2 parent