Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/pvcalls-front.c pvcalls_front_bind() -> pvcalls_front_wait_rsp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bedata | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| UNITS | 0 | bedata | unit_byte |
drivers/xen/pvcalls-front.c pvcalls_front_connect() -> pvcalls_front_wait_rsp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bedata | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| UNITS | 0 | bedata | unit_byte |
drivers/xen/pvcalls-front.c pvcalls_front_listen() -> pvcalls_front_wait_rsp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bedata | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| UNITS | 0 | bedata | unit_byte |
drivers/xen/pvcalls-front.c pvcalls_front_socket() -> pvcalls_front_wait_rsp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bedata | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bedata->socket_mappings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_mappings.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bedata->socket_mappings.prev->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bedata | s32min-(-2),1-s32max |
| UNITS | 0 | bedata | unit_byte |