Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/usb/r8152.c rtl8152_fw_phy_ver() -> sram_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->ocp_base u16max
PARAM_VALUE 0 tp->rtl_fw.fw 1-ptr_max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &tp->control

drivers/net/usb/r8152.c rtl_ram_code_speed_up() -> sram_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->ocp_base u16max
PARAM_VALUE 0 tp->rtl_fw.fw 1-ptr_max
PARAM_VALUE 1 addr 32798
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &tp->control

drivers/net/usb/r8152.c rtl_ram_code_speed_up() -> sram_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->ocp_base 0,8192-61440
PARAM_VALUE 0 tp->rtl_fw.fw 1-ptr_max
PARAM_VALUE 1 addr 32798
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &tp->control

drivers/net/usb/r8152.c sram_write_w0w1() -> sram_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->ocp_base 0,4096-61440
PARAM_VALUE 0 tp->rtl_fw.fw 0,4096-u64max
PARAM_VALUE 0 tp->ups_info.eee 0
PARAM_VALUE 1 addr 32785-32786,32788-32790,32792,32937,32954,32957,32974,32977,32988,32991,32993,33002-33003,33009,33016,33022,33024,33026,33148-33149,33155,33159-33160,33170-33171,33181-33182,33186-33187,33192-33193,33198,33201-u16max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 addr $1
HARD_MAX 1 addr 36863
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &tp->control

fs/sysfs/file.c sysfs_kf_bin_read() -> (struct bin_attribute)->read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 2 attr 4096-ptr_max
PARAM_VALUE 2 attr->read 1-u64max
PARAM_VALUE 3 buf 1-u64max
PARAM_VALUE 5 count 1-4096
BUF_SIZE 1 addr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 1 addr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 2 attr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 2 attr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
CAPPED_DATA 5 count 1
CAPPED_DATA 5 count 1
DATA_SOURCE 1 addr r sysfs_file_kobj
DATA_SOURCE 3 buf $1
DATA_SOURCE 4 pos $3
DATA_SOURCE 5 count $2 [m]
CONTAINER 2 -64+0 $(-1)
PARAM_COMPARE 3 buf >= $5
BIT_INFO 5 count 0x0,0x7fffffffffffffff
BIT_INFO 5 count 0x0,0x7fffffffffffffff
NOSPEC 4 pos
NOSPEC 4 pos
NOSPEC 5 count
NOSPEC 5 count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 pos 0-4095
USER_DATA 5 count 1-4096
BYTE_COUNT 3 ==buf5 8050
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex