Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rtc/rtc-armada38x.c armada38x_rtc_probe() -> (struct armada38x_rtc_data)->update_mbus_timing()

Type Parameter Key Value
PARAM_VALUE 0 rtc 4096-ptr_max
PARAM_VALUE 0 rtc->data 4096-ptr_max
PARAM_VALUE 0 rtc->irq (-1),1-s32max
PARAM_VALUE 0 rtc->regs 4096-ptr_max
PARAM_VALUE 0 rtc->regs_soc 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.enabled 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.func 1954938875010260992
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.class 8519719780653412352
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.groups 5485726223405006848
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.kobj.state_initialized 1
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.links.status 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.numa_node (-1)
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.child_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.deferred_resume 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.disable_depth 1
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.early_init 1
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.idle_notification 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.ignore_children 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.is_late_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.is_prepared 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.is_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.last_status (-1)
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.needs_force_resume 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.qos 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.request 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.request_pending 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.runtime_auto 1
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.runtime_error 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.runtime_status 2
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.timer_expires 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.power.usage_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->dev.release 388053133801480192
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->irq_freq 1
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->irq_queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->irq_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->max_user_freq 64
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->ops_lock.first_waiter 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->ops_lock.magic 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->ops_lock.osq.tail.counter 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->ops_lock.owner.counter 0
PARAM_VALUE 0 rtc->rtc_dev->aie_timer.rtc->set_offset_nsec 1005000000
PARAM_VALUE 0 rtc->rtc_dev->dev.class 8519719780653412352
PARAM_VALUE 0 rtc->rtc_dev->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->defpool.rcu.func 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->defpool.rcu.next 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->defpool.transient 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->total_used.counter 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->transient_nslabs.counter 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_mem->used_hiwater.counter 0
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 rtc->rtc_dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.groups 5485726223405006848
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj->name 0-255
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.name 1-u64max
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.state_initialized 1
PARAM_VALUE 0 rtc->rtc_dev->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.status 0
PARAM_VALUE 0 rtc->rtc_dev->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.numa_node (-1)
PARAM_VALUE 0 rtc->rtc_dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.child_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.deferred_resume 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.disable_depth 1
PARAM_VALUE 0 rtc->rtc_dev->dev.power.early_init 1
PARAM_VALUE 0 rtc->rtc_dev->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.idle_notification 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.ignore_children 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.is_late_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.is_prepared 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.is_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.last_status (-1)
PARAM_VALUE 0 rtc->rtc_dev->dev.power.needs_force_resume 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.qos 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.request 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.request_pending 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.runtime_auto 1
PARAM_VALUE 0 rtc->rtc_dev->dev.power.runtime_error 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.runtime_status 2
PARAM_VALUE 0 rtc->rtc_dev->dev.power.timer_expires 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.usage_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->dev.release 388053133801480192
PARAM_VALUE 0 rtc->rtc_dev->features 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->id 0-s32max
PARAM_VALUE 0 rtc->rtc_dev->irq_freq 1
PARAM_VALUE 0 rtc->rtc_dev->irq_queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->irq_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->irq_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->irq_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->irq_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->max_user_freq 64
PARAM_VALUE 0 rtc->rtc_dev->ops_lock.dep_map->name 0-255
PARAM_VALUE 0 rtc->rtc_dev->ops_lock.first_waiter 0
PARAM_VALUE 0 rtc->rtc_dev->ops_lock.magic 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->ops_lock.osq.tail.counter 0
PARAM_VALUE 0 rtc->rtc_dev->ops_lock.owner.counter 0
PARAM_VALUE 0 rtc->rtc_dev->pie_enabled 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer._softexpires 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.base 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.function 1-u64max
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.is_hard 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.is_lazy 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.is_queued 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.is_rel 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.is_soft 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.expires 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.node.next 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.node.node.__rb_parent_color 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.node.node.rb_left 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.node.node.rb_right 0
PARAM_VALUE 0 rtc->rtc_dev->pie_timer.node.node.prev 0
PARAM_VALUE 0 rtc->rtc_dev->set_offset_nsec 1005000000
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.enabled 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.func 589631774499086336
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.class 8519719780653412352
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.groups 5485726223405006848
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.kobj.state_initialized 1
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.links.status 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.numa_node (-1)
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.child_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.deferred_resume 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.disable_depth 1
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.early_init 1
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.idle_notification 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.ignore_children 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.is_late_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.is_prepared 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.is_suspended 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.last_status (-1)
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.needs_force_resume 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.qos 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.request 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.request_pending 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.runtime_auto 1
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.runtime_error 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.runtime_status 2
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.timer_expires 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.power.usage_count.counter 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->dev.release 388053133801480192
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->irq_freq 1
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->irq_queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->irq_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->max_user_freq 64
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->ops_lock.first_waiter 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->ops_lock.magic 4096-ptr_max
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->ops_lock.osq.tail.counter 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->ops_lock.owner.counter 0
PARAM_VALUE 0 rtc->rtc_dev->uie_rtctimer.rtc->set_offset_nsec 1005000000
BUF_SIZE 0 rtc 912
BUF_SIZE 0 rtc 912
BUF_SIZE 0 rtc->irq s32min-(-1),1-s32max
BUF_SIZE 0 rtc->rtc_dev 2824
BUF_SIZE 0 rtc->rtc_dev->dev.parent 1616
BUF_SIZE 0 rtc->val_to_freq 800
DATA_SOURCE 0 rtc r devm_kzalloc
CONTAINER 0 -0-104+0 $(-1)
MEM_ZERO 0 rtc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rtc/rtc-armada38x.c armada38x_rtc_resume() -> (struct armada38x_rtc_data)->update_mbus_timing()

Type Parameter Key Value
PARAM_VALUE 0 rtc 4096-ptr_max
PARAM_VALUE 0 rtc->data 4096-ptr_max
BUF_SIZE 0 rtc s32min-(-2),1-s32max
BUF_SIZE 0 rtc s32min-(-2),1-s32max
CONTAINER 0 -0-104+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL