Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/vdpa/solidrun/snet_main.c psnet_read_cfg() -> psnet_read64()

Type Parameter Key Value
PARAM_VALUE 0 psnet 4096-ptr_max
PARAM_VALUE 0 psnet->barno 0-5
PARAM_VALUE 0 psnet->cfg.devices_num 1-u32max
PARAM_VALUE 0 psnet->cfg.devs 4096-ptr_max
PARAM_VALUE 0 psnet->negotiated_cfg_ver 0-2
BUF_SIZE 0 psnet 480
CAPPED_DATA 0 psnet->barno 1
CAPPED_DATA 0 psnet->negotiated_cfg_ver 1
DATA_SOURCE 0 psnet $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 psnet->negotiated_cfg_ver 0-1[c]
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/vdpa/solidrun/snet_hwmon.c snet_hwmon_read_reg() -> psnet_read64()

Type Parameter Key Value
PARAM_VALUE 0 psnet 4096-ptr_max
BUF_SIZE 0 psnet s32min-(-2),1-s32max
BUF_SIZE 0 psnet s32min-(-2),1-s32max
DATA_SOURCE 0 psnet $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 psnet unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock