Defined in 2 files as a function:
- drivers/memstick/host/rtsx_usb_ms.c, line 60 (as a function)
- drivers/memstick/host/rtsx_usb_ms.c, line 106 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/memstick/host/rtsx_usb_ms.c ms_read_bytes() -> ms_print_debug_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->msh->card | 4096-ptr_max |
| PARAM_VALUE | 0 | host->msh->card->next_request | 1-u64max |
| PARAM_VALUE | 0 | host->req | 4096-ptr_max |
| PARAM_VALUE | 0 | host->req->data_len | 1,4,6,8 |
| PARAM_VALUE | 0 | host->req->error | s32min-0 |
| PARAM_VALUE | 0 | host->req->tpc | 2,7,13-14 |
| PARAM_VALUE | 0 | host->ucr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->cmd_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->cmd_idx | 0-254 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | host->ucr->pusb_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->pusb_dev->bus->sysdev->iommu->attach_deferred | 0 |
| PARAM_VALUE | 0 | host->ucr->pusb_dev->state | 4-u32max |
| PARAM_VALUE | 0 | host->ucr->rsp_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | *host->req->data | 0-255 |
| DATA_SOURCE | 0 | host | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &ucr->dev_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rtsx_ucr)->dev_mutex |
drivers/memstick/host/rtsx_usb_ms.c ms_write_bytes() -> ms_print_debug_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->msh->card | 4096-ptr_max |
| PARAM_VALUE | 0 | host->msh->card->next_request | 1-u64max |
| PARAM_VALUE | 0 | host->req | 4096-ptr_max |
| PARAM_VALUE | 0 | host->req->data_dir | 1 |
| PARAM_VALUE | 0 | host->req->data_len | 1,4,6,8 |
| PARAM_VALUE | 0 | host->req->error | s32min-0 |
| PARAM_VALUE | 0 | host->req->long_data | 0 |
| PARAM_VALUE | 0 | host->req->tpc | 2,7,13-14 |
| PARAM_VALUE | 0 | host->ucr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->cmd_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->cmd_idx | 0-254 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | host->ucr->pusb_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->pusb_dev->bus->sysdev->iommu->attach_deferred | 0 |
| PARAM_VALUE | 0 | host->ucr->pusb_dev->state | 4-u32max |
| PARAM_VALUE | 0 | host->ucr->rsp_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | *host->req->data | 0-255 |
| DATA_SOURCE | 0 | host | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &ucr->dev_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rtsx_ucr)->dev_mutex |