Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/smb/smbdirect/devices.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf | 2407734333365280768 |
| PARAM_VALUE | 6 | vaf->va | 7237084705193197568 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| NOCHECK_CALL |
fs/smb/smbdirect/connect.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 4096-ptr_max |
| PARAM_VALUE | 2 | line | 45,71,92,99,113,119,138,142,151,162,172,188,194,219,225,281,296,307,317,329,386,392,412,422,438,459,474,487,503,557,567,586,592,701,721,745,753,761,770,779,786,793,840,862,883,905,918 |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 16,32,128,256,1024 |
| PARAM_VALUE | 6 | vaf | 7813167538330996736 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 8365420638622818304 |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | func | 18,23,31-32,34-35,37-38 |
| BUF_SIZE | 1 | func | 18,23,31-32,34-35,37-38 |
| CAPPED_DATA | 4 | lvl | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 23,28,30-37,40,43,45,47-52,57,60,63,66-69 |
| STR_LEN | 0 | sc | 23,28,30-37,40,43,45,47-52,57,60,63,66-69 |
| STR_LEN | 1 | func | (-1),13 |
| STR_LEN | 1 | func | (-1),13 |
| STR_LEN | 2 | line | (-1),13 |
| STR_LEN | 3 | private_ptr | (-1),17,20 |
| STR_LEN | 4 | lvl | (-1),17-18 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | 918 |
| HARD_MAX | 5 | cls | 1024 |
| 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 |
fs/smb/smbdirect/rw.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->status | 14 |
| PARAM_VALUE | 1 | func | 3477421054888632320 |
| PARAM_VALUE | 2 | line | 157 |
| PARAM_VALUE | 4 | lvl | 1 |
| PARAM_VALUE | 5 | cls | 512 |
| PARAM_VALUE | 6 | vaf | 5478286479104364544 |
| PARAM_VALUE | 6 | vaf->fmt | 6138511580463628288 |
| PARAM_VALUE | 6 | vaf->va | 3620363379666530304 |
| BUF_SIZE | 1 | func | 31 |
| BUF_SIZE | 1 | func | 31 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 36 |
| STR_LEN | 0 | sc | 36 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/smb/smbdirect/socket.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 4096-ptr_max |
| PARAM_VALUE | 2 | line | 41,91-92,96,113,124,141,165,203,218-219,233,287,290,307,312-313,317,323,328-329,337,363-364,374,382,384,386,391,400,412,444,478,515,523,532,540,548,554,564,569-570,574,581,587,593,595,622,626,630,635,638,647-u32max |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 128 |
| PARAM_VALUE | 6 | vaf | 9085656473229914112 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 7575645041600638976 |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | func | 25-26,30-32,34,36-38,40-42 |
| BUF_SIZE | 1 | func | 25-26,30-32,34,36-38,40-42 |
| CAPPED_DATA | 4 | lvl | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 9,14,16-17,21,23-24,26-30,33,37-40 |
| STR_LEN | 0 | sc | 9,14,16-17,21,23-24,26-30,33,37-40 |
| STR_LEN | 1 | func | (-1),49 |
| STR_LEN | 1 | func | (-1),49 |
| STR_LEN | 2 | line | (-1)-0,2 |
| STR_LEN | 3 | private_ptr | (-1)-0 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | u32max |
| 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 |
fs/smb/smbdirect/connection.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 4096-ptr_max |
| PARAM_VALUE | 2 | line | 29,70,102,147,175,201,738,773,791,810,882,1113,1222,1281,1313,1339,1386,1409,1431,1454,1459,1493,1525,1531,1552,1567,1583,1589,1597,1606,1645,1724,1785,1810,1823,1870,1901,1909,1921,1929 |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 1-2,4,8,16,32,64,128 |
| PARAM_VALUE | 6 | vaf | 631371626109431808 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 8427580864593743872 |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | func | 29,31,34,36-38,40-41,44 |
| BUF_SIZE | 1 | func | 29,31,34,36-38,40-41,44 |
| CAPPED_DATA | 4 | lvl | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 22,24,27-28,31-36,42,45,47-48,50-54,57,60,62,64,66,69-70,73 |
| STR_LEN | 0 | sc | 22,24,27-28,31-36,42,45,47-48,50-54,57,60,62,64,66,69-70,73 |
| STR_LEN | 1 | func | (-1),4,7,16 |
| STR_LEN | 1 | func | (-1),4,7,16 |
| STR_LEN | 2 | line | (-1),14 |
| STR_LEN | 3 | private_ptr | (-1),5 |
| STR_LEN | 4 | lvl | (-1),19 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | 1929 |
| HARD_MAX | 5 | cls | 128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->first_error | |
| NO_OVERFLOW_SIMPLE | 0 | sc->recv_io.mem.pool->min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | sc->send_io.mem.pool->min_nr | |
| HALF_LOCKED2 | &conn->srv_mutex |
fs/smb/smbdirect/debug.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf | 224602605582315520 |
| PARAM_VALUE | 6 | vaf->va | 5613595947624865792 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| NOCHECK_CALL |
fs/smb/smbdirect/listen.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->first_error | (-4095)-0 |
| PARAM_VALUE | 1 | func | 4133476758647087104,5811066345243824128,6151008372392779776 |
| PARAM_VALUE | 2 | line | 32,38,55,62,78,84,152,169,220,224,233,244,262 |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 128 |
| PARAM_VALUE | 6 | vaf | 4725890479420801024 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 6771706841072734208 |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | func | 24,33,36 |
| BUF_SIZE | 1 | func | 24,33,36 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 28,31-32,38,40,42,46,50,60,63,68-69 |
| STR_LEN | 0 | sc | 28,31-32,38,40,42,46,50,60,63,68-69 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| BIT_INFO | 0 | sc->first_error | 0x0,0x7fffffff |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | 262 |
| HARD_MAX | 4 | lvl | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &ctrl_lock | ||
| HALF_LOCKED2 | global &init_lock |
fs/smb/smbdirect/mr.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 3034397712088342528,3375296079370481664,3559934753430556672,4420285884202663936,5219569790682570752,7445124643758333952 |
| PARAM_VALUE | 2 | line | 24,45,54,174,181,215,230,277,286,298,305,314,352,440 |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 256 |
| PARAM_VALUE | 6 | vaf | 7691554981252915200 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 415275359850860544 |
| BUF_SIZE | 1 | func | 31,36,38,41-42 |
| BUF_SIZE | 1 | func | 31,36,38,41-42 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 24,28,31-32,34-36,39,42,45-46,48,51,61 |
| STR_LEN | 0 | sc | 24,28,31-32,34-36,39,42,45-46,48,51,61 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | 440 |
| HARD_MAX | 4 | lvl | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->first_error | |
| HALF_LOCKED2 | &mr->mutex |
fs/smb/smbdirect/accept.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 1645514936746319872,2854569470332551168,2941554104084000768,3914046280201060352,5640854510805110784,8398711447177908224 |
| PARAM_VALUE | 2 | line | 29,48,56,64,73,87,130,219,225,337,356,372,380,387,396,512,529,562,591,618,644,657,707,720,748 |
| PARAM_VALUE | 4 | lvl | 0-1 |
| PARAM_VALUE | 5 | cls | 16,32,128,1024 |
| PARAM_VALUE | 6 | vaf | 5793878380036440064 |
| PARAM_VALUE | 6 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf->va | 2763046826010243072 |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sc->accept.listener | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | func | 33-34,36-37 |
| BUF_SIZE | 1 | func | 33-34,36-37 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| STR_LEN | 0 | sc | 26,31-35,37,42-43,45,47-50,52,57,67,69 |
| STR_LEN | 0 | sc | 26,31-35,37,42-43,45,47-50,52,57,67,69 |
| STR_LEN | 1 | func | (-1),13 |
| STR_LEN | 1 | func | (-1),13 |
| STR_LEN | 2 | line | (-1),13 |
| STR_LEN | 3 | private_ptr | (-1),17,20 |
| STR_LEN | 4 | lvl | (-1),17-18 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| TERMINATED | 6 | vaf->fmt | 1 |
| HARD_MAX | 2 | line | 748 |
| HARD_MAX | 4 | lvl | 1 |
| HARD_MAX | 5 | cls | 1024 |
| 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 |
fs/smb/smbdirect/main.c __smbdirect_log_printf() -> (struct smbdirect_socket)->logging.vaprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 6 | vaf | 5584669123105579008 |
| PARAM_VALUE | 6 | vaf->va | 4959396515344916480 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | func | $1 |
| DATA_SOURCE | 2 | line | $2 |
| DATA_SOURCE | 4 | lvl | $3 |
| DATA_SOURCE | 5 | cls | $4 |
| CONTAINER | 0 | -16-2200+0 | $(-1) |
| CONTAINER | 3 | *(-16+0) | $(-1) |
| NOCHECK_CALL |