Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-amd-mp2-pci.c __amd_mp2_process_event() -> amd_mp2_pci_check_rw_event()

Type Parameter Key Value
PARAM_VALUE 0 i2c_common 4096-ptr_max
PARAM_VALUE 0 i2c_common->bus_id 0-1
PARAM_VALUE 0 i2c_common->cmd_success 0
PARAM_VALUE 0 i2c_common->eventval.r.response 1
PARAM_VALUE 0 i2c_common->eventval.r.status 0
PARAM_VALUE 0 i2c_common->i2c_speed 0-4
PARAM_VALUE 0 i2c_common->mp2_dev 4096-ptr_max
PARAM_VALUE 0 i2c_common->reqcmd 0
BUF_SIZE 0 i2c_common 80
DATA_SOURCE 0 i2c_common $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i2c_common->bus_id 0-1
NO_OVERFLOW_SIMPLE 0 i2c_common->bus_id
LOCK2 &i2c_common->mp2_dev->c2p_lock
TYPE_LOCK (struct amd_mp2_dev)->c2p_lock

drivers/i2c/busses/i2c-amd-mp2-pci.c __amd_mp2_process_event() -> amd_mp2_pci_check_rw_event()

Type Parameter Key Value
PARAM_VALUE 0 i2c_common 4096-ptr_max
PARAM_VALUE 0 i2c_common->bus_id 0-1
PARAM_VALUE 0 i2c_common->cmd_success 0
PARAM_VALUE 0 i2c_common->eventval.r.response 1
PARAM_VALUE 0 i2c_common->eventval.r.status 2
PARAM_VALUE 0 i2c_common->i2c_speed 0-4
PARAM_VALUE 0 i2c_common->mp2_dev 4096-ptr_max
PARAM_VALUE 0 i2c_common->reqcmd 1
BUF_SIZE 0 i2c_common 80
DATA_SOURCE 0 i2c_common $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i2c_common->bus_id 0-1
NO_OVERFLOW_SIMPLE 0 i2c_common->bus_id
LOCK2 &i2c_common->mp2_dev->c2p_lock
TYPE_LOCK (struct amd_mp2_dev)->c2p_lock