Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/r8152.c ocp_read_byte() -> generic_ocp_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->udev->dev.pins->p 0-s64max
PARAM_VALUE 1 index 0,4-65532
PARAM_VALUE 2 size 4
PARAM_VALUE 3 data 7504692623252852736
PARAM_VALUE 4 type 0,256
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 4
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 index $2 [m]
DATA_SOURCE 4 type $1
BIT_INFO 1 index 0x0,0xfffc
HARD_MAX 4 type 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tp->coalesce 0-524280
UNITS 0 tp unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 0 &tp->control

drivers/net/usb/r8152.c ocp_read_dword() -> generic_ocp_read()

Type Parameter Key Value
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 index 49168,54744,57536
PARAM_VALUE 2 size 4
PARAM_VALUE 3 data 343684141591158784
PARAM_VALUE 4 type 0,256
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 4
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 index $2
DATA_SOURCE 4 type $1
HARD_MAX 1 index 57536
HARD_MAX 4 type 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tp->coalesce 0-524280
UNITS 0 tp unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &tp->control
HALF_LOCKED2 0 &tp->control

drivers/net/usb/r8152.c ocp_read_word() -> generic_ocp_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->udev->dev.pins->p 0-s64max
PARAM_VALUE 1 index 0,45056-65532
PARAM_VALUE 2 size 4
PARAM_VALUE 3 data 7009854987471224832
PARAM_VALUE 4 type 51,204,307,460
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 4
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 index $2 [m]
BIT_INFO 1 index 0x0,0xfffc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tp->coalesce 0-524280
USER_DATA 0 tp->eee_en 0
UNITS 0 tp unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 0 &tp->control
HALF_LOCKED2 0 &tp->netdev->nd_net.net->rtnl_mutex

drivers/net/usb/r8152.c pla_ocp_read() -> generic_ocp_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->netdev 4096-ptr_max
PARAM_VALUE 0 tp->udev 4096-ptr_max
PARAM_VALUE 0 tp->udev->dev.of_node 0,4096-ptr_max
PARAM_VALUE 0 tp->udev->dev.of_node->properties->length s32min-s32max
PARAM_VALUE 1 index 49152,53248
PARAM_VALUE 2 size 8
PARAM_VALUE 4 type 256
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 126
BUF_SIZE 3 data 126
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 data $3
HARD_MAX 1 index 53248
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tp unit_byte

drivers/net/usb/r8152.c rtl8152_get_ethtool_stats() -> generic_ocp_read()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.request 0-4
PARAM_VALUE 0 tp->intf->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 1 index 59536
PARAM_VALUE 2 size 64
PARAM_VALUE 3 data 8222215015830462464
PARAM_VALUE 4 type 256
BUF_SIZE 3 data 64
NOCHECK_CALL
UNITS 2 size unit_byte