Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/svc_xprt.c svc_delete_xprt() -> svc_deferred_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 xprt 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_bc_xprt 0,4096-ptr_max
PARAM_VALUE 0 xprt->xpt_list.next->prev 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_list.prev->next 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_ops 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_server 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_server->sv_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 xprt $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xprt unit_byte

net/sunrpc/svc_xprt.c svc_delete_xprt() -> svc_deferred_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 xprt 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_bc_xprt 0,4096-ptr_max
PARAM_VALUE 0 xprt->xpt_list.next->prev 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_list.prev->next 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xprt->xpt_ops 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_server 4096-ptr_max
PARAM_VALUE 0 xprt->xpt_server->sv_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 xprt $0
PARAM_COMPARE 0 &xprt->xpt_deferred != $0->xpt_deferred.next
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xprt unit_byte

net/sunrpc/svc_xprt.c svc_handle_xprt() -> svc_deferred_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 xprt 4096-ptr_max
DATA_SOURCE 0 xprt $1