Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/hpilo.c ilo_ccb_open() -> ilo_pkt_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ccb_alloc | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | hw->open_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->ccb_u4.recv_desc | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->channel | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | ccb->recv_ctrl | 18446744071562854460 |
| PARAM_VALUE | 1 | ccb->send_ctrl | 18446744071562854460 |
| PARAM_VALUE | 2 | dir | 1 |
| PARAM_VALUE | 3 | id | 0-3 |
| PARAM_VALUE | 4 | len | 0 |
| BUF_SIZE | 1 | ccb | 64 |
| DATA_SOURCE | 0 | hw | $0 |
| FUZZY_MAX | 3 | id | 3 |
| HARD_MAX | 3 | id | 3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &hw->alloc_lock | |
| LOCK2 | 0 | &hw->open_lock | |
| TYPE_LOCK | (struct ilo_hwinfo)->alloc_lock | ||
| TYPE_LOCK | (struct ilo_hwinfo)->open_lock |
drivers/misc/hpilo.c ilo_ccb_open() -> ilo_pkt_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ccb_alloc | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->fifo_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ilo_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | hw->open_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->ccb_u4.recv_desc | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->ccb_u5.db_base | 0-ptr_max |
| PARAM_VALUE | 1 | ccb->channel | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | ccb->recv_ctrl | 18446744071562854460 |
| PARAM_VALUE | 1 | ccb->send_ctrl | 18446744071562854460 |
| PARAM_VALUE | 2 | dir | 2 |
| PARAM_VALUE | 3 | id | 0-3 |
| PARAM_VALUE | 4 | len | 4096 |
| BUF_SIZE | 1 | ccb | 64 |
| DATA_SOURCE | 0 | hw | $0 |
| DATA_SOURCE | 4 | len | r desc_mem_sz |
| FUZZY_MAX | 3 | id | 3 |
| HARD_MAX | 3 | id | 3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &hw->alloc_lock | |
| LOCK2 | 0 | &hw->open_lock | |
| TYPE_LOCK | (struct ilo_hwinfo)->alloc_lock | ||
| TYPE_LOCK | (struct ilo_hwinfo)->open_lock |
drivers/misc/hpilo.c ilo_ccb_verify() -> ilo_pkt_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->alloc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ccb_alloc | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->fifo_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ilo_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | hw->ilo_dev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | hw->open_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->ccb_u4.recv_desc | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->ccb_u5.db_base | 0-ptr_max |
| PARAM_VALUE | 1 | ccb->channel | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | ccb->recv_ctrl | 18446744071562854460 |
| PARAM_VALUE | 1 | ccb->send_ctrl | 18446744071562854460 |
| PARAM_VALUE | 2 | dir | 1 |
| PARAM_VALUE | 3 | id | 0-3 |
| PARAM_VALUE | 4 | len | 0 |
| BUF_SIZE | 1 | ccb | 64 |
| DATA_SOURCE | 0 | hw | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &hw->open_lock | |
| TYPE_LOCK | (struct ilo_hwinfo)->open_lock |
drivers/misc/hpilo.c ilo_read() -> ilo_pkt_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->fifo_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 2 | dir | 2 |
| PARAM_VALUE | 3 | id | 0-3 |
| PARAM_VALUE | 4 | len | 4096 |
| BUF_SIZE | 1 | ccb | 64 |
| NOCHECK_CALL |
drivers/misc/hpilo.c ilo_write() -> ilo_pkt_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->fifo_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 2 | dir | 1 |
| PARAM_VALUE | 3 | id | 0-3 |
| PARAM_VALUE | 4 | len | 0-4096 |
| BUF_SIZE | 1 | ccb | 64 |
| CAPPED_DATA | 4 | len | 1 |
| DATA_SOURCE | 4 | len | $2 [m] |
| NOCHECK_CALL | |||
| USER_DATA | 4 | len | 1-4096[c] |