free_dev_dax_id identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/dax/bus.c, line 508 (as a function)

Referenced in 1 files:

drivers/dax/bus.c
- line 1422
- line 1561

Smatch caller information:

drivers/dax/bus.c __devm_create_dev_dax() -> free_dev_dax_id()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev_dax	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.devres_head.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_mem->defpool.nareas	0-s32max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_mem->dyn_alloc.data.counter	0,9007199250546704
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_mem->pools.next	0
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_mem->pools.prev	0,1473117533515866408
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_pools.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_pools.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_pools.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.dma_uses_io_tlb	0
PARAM_VALUE	0	dev_dax->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.entry.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	dev_dax->dev.kobj.kset	0,4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.kobj.ktype	5399513539053756416
PARAM_VALUE	0	dev_dax->dev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	dev_dax->dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	dev_dax->dev.kobj.state_initialized	1
PARAM_VALUE	0	dev_dax->dev.links.consumers.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.consumers.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.status	0
PARAM_VALUE	0	dev_dax->dev.links.suppliers.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.suppliers.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.numa_node	(-1)
PARAM_VALUE	0	dev_dax->dev.power.child_count.counter	0
PARAM_VALUE	0	dev_dax->dev.power.deferred_resume	0
PARAM_VALUE	0	dev_dax->dev.power.disable_depth	1
PARAM_VALUE	0	dev_dax->dev.power.early_init	1
PARAM_VALUE	0	dev_dax->dev.power.entry.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.entry.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.idle_notification	0
PARAM_VALUE	0	dev_dax->dev.power.ignore_children	0
PARAM_VALUE	0	dev_dax->dev.power.is_late_suspended	0
PARAM_VALUE	0	dev_dax->dev.power.is_noirq_suspended	0
PARAM_VALUE	0	dev_dax->dev.power.is_prepared	0
PARAM_VALUE	0	dev_dax->dev.power.is_suspended	0
PARAM_VALUE	0	dev_dax->dev.power.last_status	(-1)
PARAM_VALUE	0	dev_dax->dev.power.needs_force_resume	0
PARAM_VALUE	0	dev_dax->dev.power.qos	0
PARAM_VALUE	0	dev_dax->dev.power.request	0
PARAM_VALUE	0	dev_dax->dev.power.request_pending	0
PARAM_VALUE	0	dev_dax->dev.power.runtime_auto	1
PARAM_VALUE	0	dev_dax->dev.power.runtime_error	0
PARAM_VALUE	0	dev_dax->dev.power.runtime_status	2
PARAM_VALUE	0	dev_dax->dev.power.timer_expires	0
PARAM_VALUE	0	dev_dax->dev.power.usage_count.counter	0
PARAM_VALUE	0	dev_dax->dev.power.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev_dax->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev_dax->dyn_id	1
PARAM_VALUE	0	dev_dax->id	0-s32max
PARAM_VALUE	0	dev_dax->ranges	0,4096-ptr_max
PARAM_VALUE	0	dev_dax->region	4096-ptr_max
PARAM_VALUE	0	dev_dax->region->res->child->name	0-255
BUF_SIZE	0	dev_dax	1768
BUF_SIZE	0	dev_dax->pgmap	(-1),216
DATA_SOURCE	0	dev_dax	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dax_region_rwsem
HALF_LOCKED2		&of->mutex

drivers/dax/bus.c dev_dax_release() -> free_dev_dax_id()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev_dax	4096-ptr_max
PARAM_VALUE	0	dev_dax->dax_dev->inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev_dax->dax_dev->inode->i_sb->s_fs_info->page_eio_cnt	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.__i_nlink	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_atime_nsec	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_bytes	0-u16max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_cdev	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_count.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_ctime_nsec	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.host->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.host->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.i_pages.xa_flags	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_data.nrpages	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_default_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_dir_seq	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_generation	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_link	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_mode	0-u16max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_mtime_nsec	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_nlink	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_pipe	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_private->id	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_rcu.next	0
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_bdev->bd_mapping->wb_err	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_blocksize_bits	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->alloc_valid_block_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->cp_rwsem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->current_reserved_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->discard_blks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->erase_free_sem.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->erase_free_sem.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->erase_free_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->error_dirty	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->gc_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->gc_task->signal->curr_target->futex_state	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->gc_task->signal->curr_target->user_dumpable	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nextblock->allocated_refs	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->available_nids	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->bitmap_size	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->dirty_nats_ratio	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->max_nid	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->max_rf_node_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_bits_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_blkaddr	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_root.xa_flags	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_root.xa_head->count	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_root.xa_head->nr_values	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_root.xa_head->offset	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_root.xa_head->shift	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->nat_set_root.xa_flags	0,67108864-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->next_scan_nid	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->ra_nid_pages	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->nm_info->ram_thresh	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->ns_segctor_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->ns_segctor_sem.first_waiter->type	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->raw_super->feature	0,2-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->rf_node_block_count.lock.owner	(-1)
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->rf_node_block_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sb->s_pending_errors.refs.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_private->magic	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_private->work.flags	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_status	1-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->ipu_policy	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->main_blkaddr	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->main_segments	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->min_fsync_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->min_hot_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->min_ipu_util	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->min_seq_blocks	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->min_ssr_sections	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->ovp_segments	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->rec_prefree_segments	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->reserved_segments	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->seg0_blkaddr	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->segment_count	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->sm_info->ssa_blkaddr	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->stop_reason_dirty	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->total_valid_block_count	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->unusable_block_count	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->wbuf_sem.first_waiter->list.prev->next	2624917664208203776
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->wbuf_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->xa_cache.ht->nelems.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->xa_cache.ht->tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->xa_cache.ht->tbl->nest	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->xa_cache.ht->tbl->size	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_fs_info->xattr_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_inode_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_isw_nr_in_flight.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_sb->s_pending_errors.refs.counter	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_state.__state	0-4294967295
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev_dax->dax_dev->inode.i_wb->work_lock.rlock.dep_map->name	0-255
DATA_SOURCE	0	dev_dax	r to_dev_dax
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&subsys->su_mutex