Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/alias_GUID.c aliasguid_query_handler() -> get_low_record_time_index()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->sriov.alias_guid.ag_work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->sriov.alias_guid.ports_guid 4096-ptr_max
PARAM_VALUE 0 dev->sriov.is_going_down 0
PARAM_VALUE 2 resched_delay_sec 6494403839213314048
PARAM_VALUE 2 *resched_delay_sec 0-60
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 flags1
LOCK2 0 &dev->sriov.alias_guid.ag_work_lock
LOCK2 0 &dev->sriov.going_down_lock
TYPE_LOCK (struct mlx4_ib_sriov)->going_down_lock
TYPE_LOCK (struct mlx4_sriov_alias_guid)->ag_work_lock

drivers/infiniband/hw/mlx4/alias_GUID.c get_next_record_to_update() -> get_low_record_time_index()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 resched_delay_sec 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port $1
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dev->sriov.alias_guid.ag_work_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx4_sriov_alias_guid)->ag_work_lock