Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/smbdirect/socket.c __smbdirect_socket_schedule_cleanup() -> smbdirect_socket_wake_up_all()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 sc->idle.keepalive 0
PARAM_VALUE 0 sc->listen.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->listen.pending.next->prev 4096-ptr_max
BUF_SIZE 0 sc s32min-(-1),1-s32max
BUF_SIZE 0 sc s32min-(-1),1-s32max
CAPPED_DATA 0 &sc->listen.pending 1
CAPPED_DATA 0 &sc->listen.ready 1
DATA_SOURCE 0 sc $0
STR_LEN 0 sc 33,37,40
STR_LEN 0 sc 33,37,40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->first_error
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 sc->recv_io.mem.pool->min_nr
NO_OVERFLOW_SIMPLE 0 sc->send_io.mem.pool->min_nr
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &mr->mutex
HALF_LOCKED2 &sc->listen.lock
HALF_LOCKED2 flags

fs/smb/smbdirect/socket.c smbdirect_socket_cleanup_work() -> smbdirect_socket_wake_up_all()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 sc->idle.keepalive 0
PARAM_VALUE 0 sc->listen.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->listen.pending.next->prev 4096-ptr_max
PARAM_VALUE 0 sc->status 16-u32max
CAPPED_DATA 0 &sc->listen.pending 1
CAPPED_DATA 0 &sc->listen.ready 1
FUZZY_MAX 0 sc->status 17
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/smbdirect/socket.c smbdirect_socket_destroy() -> smbdirect_socket_wake_up_all()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->disconnect_work.lockdep_map->name 0-255
PARAM_VALUE 0 sc->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 sc->status 17,19-u32max
DATA_SOURCE 0 sc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_lock