Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/r8152.c determine_ethernet_addr() -> pla_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 0 tp->version 1
PARAM_VALUE 1 index 49152
PARAM_VALUE 2 size 8
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 126
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tp unit_byte

drivers/net/usb/r8152.c determine_ethernet_addr() -> pla_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 0 tp->version 0,2-255
PARAM_VALUE 0 *tp->netdev->name 0-255
PARAM_VALUE 1 index 53248
PARAM_VALUE 2 size 8
PARAM_VALUE 3 *data 0-255
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 3 data 126
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tp unit_byte