Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/ethoc.c ethoc_ack_irq() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 offset 4
PARAM_VALUE 2 data 1-u32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 1-u32max[c]

drivers/net/ethernet/ethoc.c ethoc_disable_irq() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 8
PARAM_VALUE 2 data 0,16-u32max
DATA_SOURCE 0 dev $0
BIT_INFO 2 data 0x0,0xfffffff0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,16-u32max[c]

drivers/net/ethernet/ethoc.c ethoc_disable_rx_and_tx() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 0-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 0,4-u32max
DATA_SOURCE 0 dev $0
BIT_INFO 2 data 0x0,0xfffffffc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,4-u32max[c]

drivers/net/ethernet/ethoc.c ethoc_do_set_mac_address() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 64
PARAM_VALUE 2 data 0-s32max
BIT_INFO 2 data 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/ethoc.c ethoc_do_set_mac_address() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 68
PARAM_VALUE 2 data 0-u16max
BIT_INFO 2 data 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/ethoc.c ethoc_enable_irq() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->netdev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 dev->netdev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 offset 8
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max

drivers/net/ethernet/ethoc.c ethoc_enable_rx_and_tx() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cur_rx 0
PARAM_VALUE 0 dev->cur_tx 0
PARAM_VALUE 0 dev->dty_tx 0
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->num_tx 0-s32max
PARAM_VALUE 1 offset 0
CAPPED_DATA 0 dev->num_rx 1
CAPPED_DATA 0 dev->num_tx 1
DATA_SOURCE 0 dev $0
BIT_INFO 2 data 0x3,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max

drivers/net/ethernet/ethoc.c ethoc_init_ring() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cur_rx 0
PARAM_VALUE 0 dev->cur_tx 0
PARAM_VALUE 0 dev->dty_tx 0
PARAM_VALUE 1 offset 32
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 data unit_array_size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_mdio_poll() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 0-ptr_max
PARAM_VALUE 0 dev->old_link 0-1
PARAM_VALUE 1 offset 0
CAPPED_DATA 0 dev->old_link 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
LOCK2 &phydev->lock
TYPE_LOCK (struct phy_device)->lock

drivers/net/ethernet/ethoc.c ethoc_mdio_read() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 48
PARAM_VALUE 2 data 0-8191
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BIT_INFO 2 data 0x0,0x1f1f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 data 0-8191[c]
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_read() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 44
PARAM_VALUE 2 data 2
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_read() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 44
PARAM_VALUE 2 data 0
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_write() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 48
PARAM_VALUE 2 data 0-8191
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BIT_INFO 2 data 0x0,0x1f1f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_write() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 52
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 2 data $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u16max
USER_DATA 2 data 0-u16max
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_write() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 44
PARAM_VALUE 2 data 4
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_mdio_write() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 44
PARAM_VALUE 2 data 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/ethernet/ethoc.c ethoc_probe() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->membase 1-u64max
PARAM_VALUE 0 dev->netdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->netdev->irq 1-s32max
PARAM_VALUE 0 dev->num_bd 4-128
PARAM_VALUE 0 dev->num_rx 0-128,4294967236-u32max
PARAM_VALUE 0 dev->num_tx 0-64
PARAM_VALUE 0 dev->vma 1-u64max
PARAM_VALUE 1 offset 40
PARAM_VALUE 2 data 2-182,258-438
BUF_SIZE 0 dev->clk (-1),1-s32max
BUF_SIZE 0 dev->membase s32min-s32max
BUF_SIZE 0 dev->vma 32-1024
CAPPED_DATA 0 dev->num_bd 1
BIT_INFO 2 data 0x0,0x1fe
MEM_ZERO 0 dev->vma
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 2-182,258-438[c]

drivers/net/ethernet/ethoc.c ethoc_reset() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cur_rx 0
PARAM_VALUE 0 dev->cur_tx 0
PARAM_VALUE 0 dev->dty_tx 0
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->napi.napi_hash_node.pprev 4096-ptr_max
PARAM_VALUE 0 dev->num_rx 0-s32max
PARAM_VALUE 0 dev->num_tx 0-s32max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 0,8192-u32max
CAPPED_DATA 0 dev->num_rx 1
CAPPED_DATA 0 dev->num_tx 1
DATA_SOURCE 0 dev $0
BIT_INFO 2 data 0xa000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,8192-u32max
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_reset() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cur_rx 0
PARAM_VALUE 0 dev->cur_tx 0
PARAM_VALUE 0 dev->dty_tx 0
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->napi.napi_hash_node.pprev 4096-ptr_max
PARAM_VALUE 0 dev->num_rx 0-s32max
PARAM_VALUE 0 dev->num_tx 0-s32max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 0,1024-u32max
CAPPED_DATA 0 dev->num_rx 1
CAPPED_DATA 0 dev->num_tx 1
DATA_SOURCE 0 dev $0
BIT_INFO 2 data 0x400,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,1024-u32max
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_reset() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cur_rx 0
PARAM_VALUE 0 dev->cur_tx 0
PARAM_VALUE 0 dev->dty_tx 0
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev 4096-ptr_max
PARAM_VALUE 0 dev->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->napi.napi_hash_node.pprev 4096-ptr_max
PARAM_VALUE 0 dev->num_rx 0-s32max
PARAM_VALUE 0 dev->num_tx 0-s32max
PARAM_VALUE 1 offset 12
PARAM_VALUE 2 data 21
CAPPED_DATA 0 dev->num_rx 1
CAPPED_DATA 0 dev->num_tx 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_set_multicast_list() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 0-ptr_max
PARAM_VALUE 1 offset 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_set_multicast_list() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 0-ptr_max
PARAM_VALUE 1 offset 72
PARAM_VALUE 2 data 0,u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_set_multicast_list() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iobase 4096-ptr_max
PARAM_VALUE 1 offset 76
PARAM_VALUE 2 data 0,u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ethoc.c ethoc_write_bd() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max[c]
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dev->lock

drivers/net/ethernet/ethoc.c ethoc_write_bd() -> ethoc_write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
UNITS 2 data unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dev->lock