Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/pvcalls-front.c pvcalls_front_accept() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_bind() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_poll() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sock | $1 |
drivers/xen/pvcalls-front.c pvcalls_front_recvmsg() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_release() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->sk | 1-u64max |
| DATA_SOURCE | 0 | sock | $0 |
drivers/xen/pvcalls-front.c pvcalls_front_sendmsg() -> pvcalls_enter_sock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sock | $0 |