Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/hw/mlx4/cm.c, line 294 (as a function)
- fs/ceph/mds_client.c, line 6185 (as a function)
Referenced in 2 files:
Smatch caller information:
fs/ceph/mds_client.c ceph_mdsc_handle_mdsmap() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc->client | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc->client->options | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mdsmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mdsmap->m_data_pg_pools | 16,4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mdsmap->m_info | 1-u64max |
| PARAM_VALUE | 0 | mdsc->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | mdsc->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->request_tree.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->waiting_for_map.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | delay | 0 |
| BUF_SIZE | 0 | mdsc->mdsmap | (-1),104 |
| CAPPED_DATA | 0 | mdsc->fsc->max_file_size | 1 |
| CAPPED_DATA | 0 | &mdsc->mutex | 1 |
| CAPPED_DATA | 0 | &mdsc->waiting_for_map | 1 |
| DATA_SOURCE | 0 | mdsc | $0 |
| NOSPEC | 0 | mdsc->fsc->max_file_size | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mdsc->fsc->max_file_size | s64min-9223372036854775806[c] |
| USER_DATA | 0 | mdsc->mdsmap->m_cas_pg_pool | 0-u64max |
| USER_DATA | 0 | mdsc->mdsmap->m_client_epoch | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->m_enabled | 0-1 |
| USER_DATA | 0 | mdsc->mdsmap->m_last_failure | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->m_max_file_size | 0-u64max |
| USER_DATA | 0 | mdsc->mdsmap->m_max_mds | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->m_max_xattr_size | 0-u64max |
| USER_DATA | 0 | mdsc->mdsmap->m_num_data_pg_pools | s32min-s32max |
| USER_DATA | 0 | mdsc->mdsmap->m_root | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->m_session_autoclose | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->m_session_timeout | 0-u32max |
| USER_DATA | 0 | mdsc->mdsmap->possible_max_rank | 0-u32max |
fs/ceph/mds_client.c delayed_work() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->cap_delay_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mdsc->fsc->mount_options | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mdsmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | mdsc->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mdsc->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->snapid_map_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->snapid_map_tree.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->stopping | s32min-2 |
| CAPPED_DATA | 0 | mdsc->max_sessions | 1 |
| CAPPED_DATA | 0 | &mdsc->mutex | 1 |
| DATA_SOURCE | 1 | delay | r ceph_check_delayed_caps |
| HARD_MAX | 0 | mdsc->stopping | 2 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_auth->con->v2.out_cursor.resid | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_auth->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_auth_reply->con->v2.in_cursor.resid | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_auth_reply->con->v2.in_iter.count | 0 |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_subscribe->con->v2.out_cursor.resid | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_subscribe->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_subscribe_ack->con->v2.in_cursor.resid | s64min-s64max |
| USER_DATA | 0 | mdsc->fsc->sb->s_fs_info->client->monc.m_subscribe_ack->con->v2.in_iter.count | 0 |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/mlx4/cm.c id_map_alloc() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->dma_device | 0,4096-ptr_max |
| PARAM_VALUE | 1 | delay | 4096-ptr_max |
| PARAM_VALUE | 1 | delay->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | delay->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | delay->rtu_timeout | 0 |
| PARAM_VALUE | 1 | delay->scheduled_delete | 0 |
| PARAM_VALUE | 2 | timeout | 15000 |
| PARAM_VALUE | 3 | rtu_timeout | 1 |
| BUF_SIZE | 1 | delay | 256 |
| CAPPED_DATA | 1 | delay | 1 |
| CAPPED_DATA | 1 | delay->slave_id | 1 |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | delay | r _kmalloc_noprof |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &sriov->id_map_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->id_map_lock |
drivers/infiniband/hw/mlx4/cm.c mlx4_ib_demux_cm_handler() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->driver_def->needs_fn_offset | 0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,400,408,416,432,440,448,480,520,536,544,592,600,608,616,624,632,640,648,656,704,712,720,728,736,752,760,768,792 |
| PARAM_VALUE | 1 | delay | 4096-ptr_max |
| PARAM_VALUE | 2 | timeout | 7500 |
| PARAM_VALUE | 3 | rtu_timeout | 0 |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | delay | r id_map_get |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &sriov->id_map_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->id_map_lock |
drivers/infiniband/hw/mlx4/cm.c mlx4_ib_multiplex_cm_handler() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->dma_device | 0,4096-ptr_max |
| PARAM_VALUE | 1 | delay | 4096-ptr_max |
| PARAM_VALUE | 2 | timeout | 7500 |
| PARAM_VALUE | 3 | rtu_timeout | 0 |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | delay | r id_map_get |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &sriov->id_map_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->id_map_lock |
drivers/infiniband/hw/mlx4/cm.c mlx4_ib_multiplex_cm_handler() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->dma_device | 0,4096-ptr_max |
| PARAM_VALUE | 1 | delay | 4096-ptr_max |
| PARAM_VALUE | 2 | timeout | 7500 |
| PARAM_VALUE | 3 | rtu_timeout | 0 |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | delay | r id_map_get |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &sriov->id_map_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->id_map_lock |
drivers/infiniband/hw/mlx4/cm.c mlx4_ib_multiplex_cm_handler() -> schedule_delayed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->dma_device | 0,4096-ptr_max |
| PARAM_VALUE | 1 | delay | 4096-ptr_max |
| PARAM_VALUE | 2 | timeout | 7500 |
| PARAM_VALUE | 3 | rtu_timeout | 0 |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | delay | r id_map_get |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &sriov->id_map_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_sriov)->id_map_lock |