Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/fjes/fjes_debugfs.c fjes_dbg_status_show() -> fjes_hw_epid_is_shared()

Type Parameter Key Value
PARAM_VALUE 0 share 4096-ptr_max
PARAM_VALUE 1 dest_epid 0-2147483646
CAPPED_DATA 0 share->epnum 1
CAPPED_DATA 1 dest_epid 1
CONSTRAINT 1 dest_epid <4124
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dest_epid unit_array_size
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/fjes/fjes_main.c fjes_watch_unshare_task() -> fjes_hw_epid_is_shared()

Type Parameter Key Value
PARAM_VALUE 1 dest_epid 0-s32max
CAPPED_DATA 1 dest_epid 1
UNITS 1 dest_epid unit_array_size
HALF_LOCKED2 &pool->lock

drivers/net/fjes/fjes_hw.c fjes_hw_get_partner_ep_status() -> fjes_hw_epid_is_shared()

Type Parameter Key Value
CAPPED_DATA 1 dest_epid 1
DATA_SOURCE 1 dest_epid $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 dest_epid 0-u16max[c]
USER_DATA 1 dest_epid 0-255[c]
UNITS 1 dest_epid unit_array_size
HALF_LOCKED2 &hw->hw_info.lock
HALF_LOCKED2 &hw->rx_status_lock
HALF_LOCKED2 &m->lock
HALF_LOCKED2 flags

drivers/net/fjes/fjes_hw.c fjes_hw_wait_epstop() -> fjes_hw_epid_is_shared()

Type Parameter Key Value
PARAM_VALUE 1 dest_epid 0-s32max
CAPPED_DATA 1 dest_epid 1
CONSTRAINT 1 dest_epid <4124
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dest_epid unit_array_size
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex