Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_alloc_entry() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 1 i 0-64
PARAM_VALUE 2 v 24576
CAPPED_DATA 1 i 1
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i r find_first_zero_bit
PARAM_COMPARE 1 i < $0->DAT_entries
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hci->DAT_entries
NO_OVERFLOW_SIMPLE 0 hci->DAT_entry_size
UNITS 1 i unit_array_size
HALF_LOCKED2 &m->bus.lock

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_clear_flags() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 0 hci->DAT 4096-ptr_max
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->ibi_lock
HALF_LOCKED2 &dev->bus->lock
TYPE_LOCK (struct i3c_bus)->lock
TYPE_LOCK (struct i3c_dev_desc)->ibi_lock

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_free_entry() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 2 v 0
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hci->master.bus.id 0
HOST_DATA 0 hci->master.bus.lock.count.counter 0
HOST_DATA 0 hci->master.bus.lock.osq.tail.counter 0
HOST_DATA 0 hci->master.bus.lock.owner.counter 0
HOST_DATA 0 hci->master.bus.mode 0
HOST_DATA 0 hci->master.bus.scl_rate.i2c 0
HOST_DATA 0 hci->master.bus.scl_rate.i3c 0
HOST_DATA 0 hci->master.dev.bus_dma_limit 0
HOST_DATA 0 hci->master.dev.coherent_dma_mask 0
HOST_DATA 0 hci->master.dev.devt 0
HOST_DATA 0 hci->master.dev.dma_uses_io_tlb 0
HOST_DATA 0 hci->master.dev.id 0
HOST_DATA 0 hci->master.dev.kobj.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 hci->master.dev.kobj.release.cpu 0
HOST_DATA 0 hci->master.dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 hci->master.dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 hci->master.dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 hci->master.dev.kobj.state_add_uevent_sent 0-1
HOST_DATA 0 hci->master.dev.kobj.state_in_sysfs 0
HOST_DATA 0 hci->master.dev.kobj.state_initialized 0
HOST_DATA 0 hci->master.dev.kobj.state_remove_uevent_sent 0-1
HOST_DATA 0 hci->master.dev.kobj.uevent_suppress 0
HOST_DATA 0 hci->master.dev.links.status 0
HOST_DATA 0 hci->master.dev.mutex.osq.tail.counter 0
HOST_DATA 0 hci->master.dev.mutex.owner.counter 0
HOST_DATA 0 hci->master.dev.numa_node 0
HOST_DATA 0 hci->master.dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 hci->master.dev.power.active_time 0
HOST_DATA 0 hci->master.dev.power.async_suspend 0
HOST_DATA 0 hci->master.dev.power.autosuspend_delay 0
HOST_DATA 0 hci->master.dev.power.can_wakeup 0
HOST_DATA 0 hci->master.dev.power.child_count.counter s32min-s32max
HOST_DATA 0 hci->master.dev.power.completion.done 0
HOST_DATA 0 hci->master.dev.power.deferred_resume 0
HOST_DATA 0 hci->master.dev.power.detach_power_off 0
HOST_DATA 0 hci->master.dev.power.direct_complete 0
HOST_DATA 0 hci->master.dev.power.disable_depth 0
HOST_DATA 0 hci->master.dev.power.driver_flags 0
HOST_DATA 0 hci->master.dev.power.early_init 0
HOST_DATA 0 hci->master.dev.power.idle_notification 0
HOST_DATA 0 hci->master.dev.power.ignore_children 0
HOST_DATA 0 hci->master.dev.power.in_dpm_list 0
HOST_DATA 0 hci->master.dev.power.irq_safe 0
HOST_DATA 0 hci->master.dev.power.is_late_suspended 0
HOST_DATA 0 hci->master.dev.power.is_noirq_suspended 0-1
HOST_DATA 0 hci->master.dev.power.is_prepared 0
HOST_DATA 0 hci->master.dev.power.is_suspended 0
HOST_DATA 0 hci->master.dev.power.last_busy 0
HOST_DATA 0 hci->master.dev.power.last_status 0
HOST_DATA 0 hci->master.dev.power.links_count 0
HOST_DATA 0 hci->master.dev.power.may_skip_resume 0
HOST_DATA 0 hci->master.dev.power.memalloc_noio 0
HOST_DATA 0 hci->master.dev.power.must_resume 0
HOST_DATA 0 hci->master.dev.power.needs_force_resume 0-1
HOST_DATA 0 hci->master.dev.power.no_callbacks 0
HOST_DATA 0 hci->master.dev.power.no_pm 0
HOST_DATA 0 hci->master.dev.power.no_pm_callbacks 0
HOST_DATA 0 hci->master.dev.power.out_band_wakeup 0
HOST_DATA 0 hci->master.dev.power.power_state.event 0
HOST_DATA 0 hci->master.dev.power.request 0
HOST_DATA 0 hci->master.dev.power.request_pending 0
HOST_DATA 0 hci->master.dev.power.runtime_auto 0
HOST_DATA 0 hci->master.dev.power.runtime_error 0
HOST_DATA 0 hci->master.dev.power.runtime_status 0
HOST_DATA 0 hci->master.dev.power.smart_suspend 0
HOST_DATA 0 hci->master.dev.power.strict_midlayer 0
HOST_DATA 0 hci->master.dev.power.suspended_time 0
HOST_DATA 0 hci->master.dev.power.syscore 0
HOST_DATA 0 hci->master.dev.power.timer_autosuspends 0-1
HOST_DATA 0 hci->master.dev.power.timer_expires 0
HOST_DATA 0 hci->master.dev.power.usage_count.counter s32min-s32max
HOST_DATA 0 hci->master.dev.power.use_autosuspend 0
HOST_DATA 0 hci->master.dev.power.work_in_progress 0
HOST_DATA 0 hci->master.dev.removable 0
HALF_LOCKED2 &m->bus.lock

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_init() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 0 hci->DAT 1-u64max
PARAM_VALUE 0 hci->DAT_regs 1-u64max
PARAM_VALUE 2 v 0
BUF_SIZE 0 hci->DAT 0-u32max,u64max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 hci $0
PARAM_COMPARE 1 i < $0->DAT_entries
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hci->DAT_entries
NO_OVERFLOW_SIMPLE 0 hci->DAT_entry_size
NO_OVERFLOW_SIMPLE 1 i
UNITS 1 i unit_array_size

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_set_dynamic_addr() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 0 hci->DAT 4096-ptr_max
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hci->master.bus.id 0
HOST_DATA 0 hci->master.bus.lock.count.counter 0
HOST_DATA 0 hci->master.bus.lock.osq.tail.counter 0
HOST_DATA 0 hci->master.bus.lock.owner.counter 0
HOST_DATA 0 hci->master.bus.mode 0
HOST_DATA 0 hci->master.bus.scl_rate.i2c 0
HOST_DATA 0 hci->master.bus.scl_rate.i3c 0
HOST_DATA 2 v 0-u32max[c]
HALF_LOCKED2 &m->bus.lock

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_set_flags() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 0 hci->DAT 4096-ptr_max
PARAM_VALUE 2 v 0,4096-u32max
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->ibi_lock

drivers/i3c/master/mipi-i3c-hci/dat_v1.c hci_dat_v1_set_static_addr() -> hci_dat_w0_write()

Type Parameter Key Value
PARAM_VALUE 0 hci 4096-ptr_max
PARAM_VALUE 0 hci->DAT 4096-ptr_max
PARAM_VALUE 1 i 0-64
CAPPED_DATA 0 hci->DAT_entries 1
CAPPED_DATA 1 i 1
DATA_SOURCE 0 hci $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &master->bus.lock