Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/misc/issei/host_client.c issei_cl_write() -> issei_poke_process_thread()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dma.length.h2f 1-u64max
PARAM_VALUE 0 idev->rst_state 5
PARAM_VALUE 0 idev->write_queue.prev 4096-ptr_max
PARAM_VALUE 0 idev->write_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->write_queue.prev->next->next 4096-ptr_max
NOCHECK_CALL
LOCK2 _T->lock

drivers/misc/issei/main.c issei_start() -> issei_poke_process_thread()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dma.vaddr 1-u64max
PARAM_VALUE 0 idev->hw->hbuf_depth 0-255
PARAM_VALUE 0 idev->ops 4096-ptr_max
PARAM_VALUE 0 idev->parent->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->parent->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 idev->parent->cma_area->available_count 0-s64max
PARAM_VALUE 0 idev->parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 idev->parent->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->parent->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 idev->parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 idev->parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 idev->parent->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idev->parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 idev->power_down 0
PARAM_VALUE 0 idev->process_thread 4096-ptr_max
PARAM_VALUE 0 idev->process_thread->blocked_on 0
PARAM_VALUE 0 idev->process_thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 idev->process_thread->migration_disabled 0-1
PARAM_VALUE 0 idev->process_thread->on_rq 0-1,3-255
PARAM_VALUE 0 idev->process_thread->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 idev->process_thread->saved_state 0
PARAM_VALUE 0 idev->process_thread->wake_cpu 0-s32max
BUF_SIZE 0 idev s32min-(-1),1-s32max
BUF_SIZE 0 idev s32min-(-1),1-s32max
DATA_SOURCE 0 idev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 idev->cdev->count
UNITS 0 idev unit_byte

drivers/misc/issei/main.c issei_stop() -> issei_poke_process_thread()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->ops 4096-ptr_max
PARAM_VALUE 0 idev->power_down 1
BUF_SIZE 0 idev s32min-(-2),1-s32max
BUF_SIZE 0 idev s32min-(-2),1-s32max
DATA_SOURCE 0 idev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 idev unit_byte

drivers/misc/issei/hw_heci.c issei_heci_irq_quick_handler() -> issei_poke_process_thread()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->hw 4096-ptr_max
DATA_SOURCE 0 idev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags