Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/platform/reset/vfio_platform_amdxgbe.c vfio_platform_amdxgbe_reset() -> xmdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ioaddr 4096-ptr_max
PARAM_VALUE 1 mmd 3
PARAM_VALUE 2 reg 0
PARAM_VALUE 3 value 0,32768-u32max
BIT_INFO 3 value 0x8000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 3 value 0,32768-u32max
HALF_LOCKED2 &device->dev_set->lock

drivers/vfio/platform/reset/vfio_platform_amdxgbe.c vfio_platform_amdxgbe_reset() -> xmdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ioaddr 4096-ptr_max
PARAM_VALUE 1 mmd 7
PARAM_VALUE 2 reg 0
BIT_INFO 3 value 0x0,0xffffefff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 3 value 0-u32max[c]
HALF_LOCKED2 &device->dev_set->lock

drivers/vfio/platform/reset/vfio_platform_amdxgbe.c vfio_platform_amdxgbe_reset() -> xmdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ioaddr 4096-ptr_max
PARAM_VALUE 1 mmd 7
PARAM_VALUE 2 reg 32769
PARAM_VALUE 3 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock

drivers/vfio/platform/reset/vfio_platform_amdxgbe.c vfio_platform_amdxgbe_reset() -> xmdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ioaddr 4096-ptr_max
PARAM_VALUE 1 mmd 7
PARAM_VALUE 2 reg 32770
PARAM_VALUE 3 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock