Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/vub300.c __vub300_command_response() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->status | 0 |
| PARAM_VALUE | 0 | vub300->command_res_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb->status | 0 |
| PARAM_VALUE | 0 | vub300->data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 1 |
| PARAM_VALUE | 0 | vub300->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp.common.header_type | 9 |
| PARAM_VALUE | 0 | vub300->resp_len | 0,6,17 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->vub_name | 4096-ptr_max |
| PARAM_VALUE | 0 | *vub300->vub_name | 0-255 |
| PARAM_VALUE | 1 | delay | 0 |
| CAPPED_DATA | 0 | &vub300->irq_mutex | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_res_urb->transfer_buffer_length | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->urb->transfer_buffer_length | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| LOCK2 | 0 | &vub300->irq_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex | ||
| TYPE_LOCK | (struct vub300_mmc_host)->irq_mutex |
drivers/mmc/host/vub300.c __vub300_command_response() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->status | 0 |
| PARAM_VALUE | 0 | vub300->command_res_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb->status | 0 |
| PARAM_VALUE | 0 | vub300->data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 1 |
| PARAM_VALUE | 0 | vub300->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp.common.header_type | 10 |
| PARAM_VALUE | 0 | vub300->resp_len | 0,6,17 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->vub_name | 4096-ptr_max |
| PARAM_VALUE | 0 | *vub300->vub_name | 0-255 |
| PARAM_VALUE | 1 | delay | 0 |
| CAPPED_DATA | 0 | &vub300->irq_mutex | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_res_urb->transfer_buffer_length | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->urb->transfer_buffer_length | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| LOCK2 | 0 | &vub300->irq_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex | ||
| TYPE_LOCK | (struct vub300_mmc_host)->irq_mutex |
drivers/mmc/host/vub300.c __vub300_irqpoll_response() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->card_present | 0 |
| PARAM_VALUE | 0 | vub300->cmd | 0 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->cmnd.poll.command_type | 2 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_size | 22 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_type | 1 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.port_number | 0 |
| PARAM_VALUE | 0 | vub300->command_out_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->complete | 4326898238991933440 |
| PARAM_VALUE | 0 | vub300->command_out_urb->context | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | vub300->command_out_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->pipe | 0,1073741824-u32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer_length | 64 |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb->actual_length | 1-u32max |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 0 |
| PARAM_VALUE | 0 | vub300->mmc->detect.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->detect_change | 1 |
| PARAM_VALUE | 0 | vub300->mmc->ws->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->mmc->ws->max_time | (-9223372036854775807)-s64max |
| PARAM_VALUE | 0 | vub300->mmc->ws->timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp.common.header_type | 3 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->state | 4-u32max |
| PARAM_VALUE | 0 | vub300->usb_transport_fail | 0 |
| PARAM_VALUE | 1 | delay | 50 |
| CAPPED_DATA | 0 | vub300->command_out_urb | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |
drivers/mmc/host/vub300.c __vub300_irqpoll_response() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->card_present | 1 |
| PARAM_VALUE | 0 | vub300->cmd | 0 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->cmnd.poll.command_type | 2 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_size | 22 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_type | 1 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.port_number | 0 |
| PARAM_VALUE | 0 | vub300->command_out_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->complete | 4326898238991933440 |
| PARAM_VALUE | 0 | vub300->command_out_urb->context | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | vub300->command_out_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->pipe | 0,1073741824-u32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer_length | 64 |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_res_urb->actual_length | 1-u32max |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 0 |
| PARAM_VALUE | 0 | vub300->resp.common.header_type | 8 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->state | 4-u32max |
| PARAM_VALUE | 0 | vub300->usb_transport_fail | 0 |
| PARAM_VALUE | 1 | delay | 1 |
| CAPPED_DATA | 0 | vub300->command_out_urb | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |
drivers/mmc/host/vub300.c send_irqpoll() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->card_present | 1 |
| PARAM_VALUE | 0 | vub300->cmd | 0 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->cmnd.poll.command_type | 2 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_size | 22 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.header_type | 1 |
| PARAM_VALUE | 0 | vub300->cmnd.poll.port_number | 0 |
| PARAM_VALUE | 0 | vub300->command_out_urb | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->complete | 4326898238991933440 |
| PARAM_VALUE | 0 | vub300->command_out_urb->context | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_out_urb->pipe | 0,1073741824-u32max |
| PARAM_VALUE | 0 | vub300->command_out_urb->transfer_buffer_length | 64 |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->inactivity_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.done | 0 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqpoll_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 0 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->usb_transport_fail | s32min-(-1) |
| PARAM_VALUE | 1 | delay | 1 |
| CAPPED_DATA | 0 | vub300->cmnd.poll.poll_timeout_lsb | 1 |
| CAPPED_DATA | 0 | vub300->cmnd.poll.poll_timeout_msb | 1 |
| CAPPED_DATA | 0 | vub300->command_out_urb | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| BIT_INFO | 0 | vub300->usb_transport_fail | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |
drivers/mmc/host/vub300.c vub300_enable_sdio_irq() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_disabled | 0 |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 0 |
| PARAM_VALUE | 1 | delay | 0 |
| CAPPED_DATA | 0 | &vub300->irq_mutex | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vub300->irq_mutex | |
| TYPE_LOCK | (struct vub300_mmc_host)->irq_mutex |
drivers/mmc/host/vub300.c vub300_enable_sdio_irq() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->irq_disabled | 0 |
| PARAM_VALUE | 0 | vub300->irq_enabled | 1 |
| PARAM_VALUE | 0 | vub300->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->irq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->irqs_queued | 0 |
| PARAM_VALUE | 1 | delay | 0 |
| CAPPED_DATA | 0 | &vub300->irq_mutex | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vub300->irq_mutex | |
| TYPE_LOCK | (struct vub300_mmc_host)->irq_mutex |
drivers/mmc/host/vub300.c vub300_pollwork_thread() -> vub300_queue_poll_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 1-u64max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 1 | delay | 1 |
| CAPPED_DATA | 0 | &vub300->cmd_mutex | 1 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |