binder_add_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/android/binder_internal.h, line 585 (as a prototype)

Defined in 1 files as a function:

drivers/android/binder.c, line 7065 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/android/binder.c init_binder_device() -> binder_add_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->context.context_mgr_node_lock.dep_map->name	0-255
PARAM_VALUE	0	device->context.context_mgr_node_lock.magic	4096-ptr_max
PARAM_VALUE	0	device->miscdev.fops	13567884492636160
PARAM_VALUE	0	device->miscdev.list.next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.list.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.list.prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.minor	0-s32max
PARAM_VALUE	0	device->miscdev.this_device	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->flags	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	device->miscdev.this_device->kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	device->miscdev.this_device->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	device->miscdev.this_device->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	device->miscdev.this_device->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	device->miscdev.this_device->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->miscdev.this_device->links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->p->klist_children.get	2213798222526185472
PARAM_VALUE	0	device->miscdev.this_device->p->klist_children.put	3126867300421632000
PARAM_VALUE	0	device->miscdev.this_device->p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	device->miscdev.this_device->p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	device->miscdev.this_device->parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->miscdev.this_device->power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->ref.refs.counter	1
BUF_SIZE	0	device	288
BUF_SIZE	0	device->miscdev.fops	272
DATA_SOURCE	0	device	r _kzalloc_noprof
BIT_INFO	0	device->context.binder_context_mgr_uid	0x0,0x7fffffff
NOCHECK_CALL

drivers/android/binderfs.c binderfs_binder_device_create() -> binder_add_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->__i_nlink	1
PARAM_VALUE	0	device->binderfs_inode->dirtied_when	0
PARAM_VALUE	0	device->binderfs_inode->free_inode	13567884492636160
PARAM_VALUE	0	device->binderfs_inode->i_acl	(-1)
PARAM_VALUE	0	device->binderfs_inode->i_blocks	0
PARAM_VALUE	0	device->binderfs_inode->i_bytes	0
PARAM_VALUE	0	device->binderfs_inode->i_cdev	0
PARAM_VALUE	0	device->binderfs_inode->i_count.counter	1
PARAM_VALUE	0	device->binderfs_inode->i_data.a_ops	8032838596130566144
PARAM_VALUE	0	device->binderfs_inode->i_data.flags	0
PARAM_VALUE	0	device->binderfs_inode->i_data.gfp_mask	1051850
PARAM_VALUE	0	device->binderfs_inode->i_data.host	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_data.invalidate_lock.magic	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_data.wb_err	0
PARAM_VALUE	0	device->binderfs_inode->i_default_acl	(-1)
PARAM_VALUE	0	device->binderfs_inode->i_dir_seq	0
PARAM_VALUE	0	device->binderfs_inode->i_flags	0
PARAM_VALUE	0	device->binderfs_inode->i_flctx	0
PARAM_VALUE	0	device->binderfs_inode->i_fop	13567884492636160
PARAM_VALUE	0	device->binderfs_inode->i_fsnotify_mask	0
PARAM_VALUE	0	device->binderfs_inode->i_generation	0
PARAM_VALUE	0	device->binderfs_inode->i_ino	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	device->binderfs_inode->i_link	0
PARAM_VALUE	0	device->binderfs_inode->i_mapping	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_mode	8576
PARAM_VALUE	0	device->binderfs_inode->i_nlink	1
PARAM_VALUE	0	device->binderfs_inode->i_op	8888400814819930112
PARAM_VALUE	0	device->binderfs_inode->i_opflags	0,8,32,40
PARAM_VALUE	0	device->binderfs_inode->i_pipe	0
PARAM_VALUE	0	device->binderfs_inode->i_private	0
PARAM_VALUE	0	device->binderfs_inode->i_rwsem.magic	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_sb	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_sb_list.prev	4096-ptr_max
PARAM_VALUE	0	device->binderfs_inode->i_size	0
PARAM_VALUE	0	device->binderfs_inode->i_state.__state	0
PARAM_VALUE	0	device->binderfs_inode->i_wb_frn_winner	0
PARAM_VALUE	0	device->binderfs_inode->i_write_hint	0
PARAM_VALUE	0	device->context.context_mgr_node_lock.dep_map->name	0-255
PARAM_VALUE	0	device->context.context_mgr_node_lock.magic	4096-ptr_max
PARAM_VALUE	0	device->context.name	4096-ptr_max
PARAM_VALUE	0	device->miscdev.minor	0-s32max
PARAM_VALUE	0	device->miscdev.name	4096-ptr_max
PARAM_VALUE	0	device->ref.refs.counter	1
BUF_SIZE	0	device	288
DATA_SOURCE	0	device	r _kzalloc_noprof
STR_LEN	0	device->binderfs_inode->i_sb	(-1),8
BIT_INFO	0	device->context.binder_context_mgr_uid	0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->binderfs_inode->i_blkbits