Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| CAPPED_DATA | 0 | sock->sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| CAPPED_DATA | 0 | sock->sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_bind() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_bind() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_bind() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_poll() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $1 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_recvmsg() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_release() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk | 1-u64max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_sendmsg() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |
drivers/xen/pvcalls-front.c pvcalls_front_sendmsg() -> pvcalls_exit_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock->sk->sk_send_head | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk->sk_send_head->refcount.counter | s32min-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| NOCHECK_CALL |