Defined in 1 files as a function:

No references found in the database

Smatch caller information:

drivers/net/ethernet/sfc/falcon/falcon.c falcon_mdio_read() -> falcon_gmii_wait()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nic_data->mdio_lock
HALF_LOCKED2 &efx->mac_lock
TYPE_LOCK (struct falcon_nic_data)->mdio_lock

drivers/net/ethernet/sfc/falcon/falcon.c falcon_mdio_read() -> falcon_gmii_wait()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->biu_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nic_data->mdio_lock
HALF_LOCKED2 &efx->mac_lock
TYPE_LOCK (struct falcon_nic_data)->mdio_lock

drivers/net/ethernet/sfc/falcon/falcon.c falcon_mdio_write() -> falcon_gmii_wait()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nic_data->mdio_lock
HALF_LOCKED2 &efx->mac_lock
TYPE_LOCK (struct falcon_nic_data)->mdio_lock

drivers/net/ethernet/sfc/falcon/falcon.c falcon_mdio_write() -> falcon_gmii_wait()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->biu_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nic_data->mdio_lock
HALF_LOCKED2 &efx->mac_lock
TYPE_LOCK (struct falcon_nic_data)->mdio_lock