Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 2 size 1
BUF_SIZE 0 pdu->sdata (-1)-s32max
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
TERMINATED 1 data 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 6861482060059676672
PARAM_VALUE 2 size 2
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 2
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 6861482060059676672
PARAM_VALUE 2 size 4
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 4
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 6861482060059676672
PARAM_VALUE 2 size 8
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 8
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 1-65536
DATA_SOURCE 0 pdu $0
DATA_SOURCE 1 data r _kmalloc_noprof
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
ELEM_LAST 1 ==data2 8052
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 6861482060059676672
PARAM_VALUE 2 size 4
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 4
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem

net/9p/protocol.c p9pdu_vreadf() -> pdu_read()

Type Parameter Key Value
PARAM_VALUE 1 data 6861482060059676672
PARAM_VALUE 2 size 4
BUF_SIZE 0 pdu->sdata (-1)-s32max
BUF_SIZE 1 data 4
DATA_SOURCE 0 pdu $0
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu (-1),1-5,9
STR_LEN 0 pdu->id (-1),1,6,8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pdu->capacity 1-2000000000[c]
USER_DATA 0 pdu->size 1-2000000000[c]
NO_OVERFLOW_SIMPLE 0 pdu->cache->sheaf_capacity
UNITS 2 size unit_byte
USER_PTR 0 pdu->sdata
HALF_LOCKED2 &inode->i_rwsem