Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/trf7970a.c trf7970a_in_config_framing() -> trf7970a_update_iso_ctrl_register()

Type Parameter Key Value
PARAM_VALUE 0 trf 4096-ptr_max
PARAM_VALUE 0 trf->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->framing 0-2,5-10,12-15
PARAM_VALUE 0 trf->is_initiator 1
PARAM_VALUE 0 trf->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 trf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 trf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 trf->state 2-u32max
PARAM_VALUE 0 trf->tx_cmd 16-17
BUF_SIZE 0 trf 320,400,480,592
BUF_SIZE 0 trf 320,400,480,592
DATA_SOURCE 0 trf $0
FUZZY_MAX 0 trf->tx_cmd 17
PARAM_COMPARE 1 iso_ctrl != $0->iso_ctrl
BIT_INFO 0 trf->chip_status_ctrl 0x0,0xff
BIT_INFO 0 trf->tx_cmd 0x10,0xffffffffffffffff
HARD_MAX 0 trf->tx_cmd 17
RX_PATH
HOST_DATA 0 trf->spi->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 trf->spi->controller->dev.driver_data->para 0-255
LOCK2 &pool->lock
LOCK2 0 &trf->lock
TYPE_LOCK (struct trf7970a)->lock

drivers/nfc/trf7970a.c trf7970a_irq() -> trf7970a_update_iso_ctrl_register()

Type Parameter Key Value
PARAM_VALUE 0 trf 4096-ptr_max
PARAM_VALUE 0 trf->framing 1-2
PARAM_VALUE 0 trf->is_initiator 0
PARAM_VALUE 0 trf->iso_ctrl 255
PARAM_VALUE 0 trf->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 trf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 trf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 trf->special_fcn_reg1 2
PARAM_VALUE 0 trf->spi 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->bus_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->spi->controller->bus_lock_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->cur_msg 0
PARAM_VALUE 0 trf->spi->controller->cur_msg_completion.wait.lock.owner (-1)
PARAM_VALUE 0 trf->spi->controller->cur_msg_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->abort_failed 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->bits_per_word 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->brdv 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->busy 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->byte_access 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->bytes_per_word 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cfg_bus 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cfg_spi 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->clk->core->parent->dev->power.request 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->command2_reg 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->command_reg 0,6144-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->control_shadow 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cs 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cs_inactive 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->ctx.modulctrl 0-4294967291
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cur_bits_per_word 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->cur_midi 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->data_completion.done 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.deferred_resume 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.request 0-4
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.request_pending 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->fifo_level 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->fifo_n_elm 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->freq 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->is_first_byte 1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->last_cs 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->last_mode 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->last_msg_kept_cs 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->last_speed_hz 1-4294967294
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->map->async 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->map->cache_dirty 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->mode 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->op_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->op_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->op_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->para 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->pdev->dev.kobj.sd->count.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->qos_request.node.prio s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->qos_request.qos->notifiers->head->priority s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->qos_request.qos->target_value s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->completed_cookie 1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->cookie 1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->dbg_client_name 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->name 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->route_data 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->rx_fifo 3904198247229726720,4565237530177343488,6658731044705361920
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->spcmd 0-u16max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->speed_hz 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->sppcr 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->spr 0-255
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->syscon->async 0
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->syscon->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->syscon->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->syscon->cache_dirty 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tclk->core->protect_count 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_dma.ch->completed_cookie 1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_dma.ch->cookie 1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->tx_fifo 2510381515690913792,7461287794670727168,8282068689171869696
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->use_multi_mode 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->use_pclk 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->usedma 0-1
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 trf->spi->controller->dev.driver_data->xfer_conf 0-2047
PARAM_VALUE 0 trf->spi->controller->dma_rx->client_count 1-s32max
PARAM_VALUE 0 trf->spi->controller->dma_tx->client_count 1-s32max
PARAM_VALUE 0 trf->spi->controller->fallback 0
PARAM_VALUE 0 trf->spi->controller->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 trf->spi->controller->io_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 trf->spi->controller->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->spi->controller->kworker->lock.owner (-1)
PARAM_VALUE 0 trf->spi->controller->kworker->lock.owner_cpu u32max
PARAM_VALUE 0 trf->spi->controller->kworker->work_list.prev 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->kworker->work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->kworker->work_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->pump_messages.node.next 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->pump_messages.node.next->prev 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->pump_messages.worker->lock.owner_cpu 0
PARAM_VALUE 0 trf->spi->controller->pump_messages.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 trf->spi->controller->queue.prev 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->queue.prev->next 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 trf->spi->controller->queue_empty 0
PARAM_VALUE 0 trf->spi->controller->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trf->state 5-6
PARAM_VALUE 0 trf->timeout 1-u32max
PARAM_VALUE 0 trf->tx_cmd 16-17
PARAM_VALUE 0 *trf->spi->controller->cur_msg->context->lp->state_complete.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *trf->spi->controller->cur_msg->context->msg.opt_state (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *trf->spi->controller->dev.driver_data->pinctrl->dev->p->deferred_probe_reason 0-255
PARAM_VALUE 0 *trf->spi->controller->dev.driver_data->sram_rx_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *trf->spi->controller->dev.driver_data->wq->lockdep_map->name 0-255
CAPPED_DATA 0 &trf->lock 1
DATA_SOURCE 0 trf $1
FUZZY_MAX 0 trf->tx_cmd 17
BIT_INFO 0 trf->tx_cmd 0x10,0x11
HARD_MAX 0 trf->tx_cmd 17
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 trf->spi->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 trf->spi->controller->dev.driver_data->para 0-255
LOCK2 0 &trf->lock
TYPE_LOCK (struct trf7970a)->lock

drivers/nfc/trf7970a.c trf7970a_per_cmd_config() -> trf7970a_update_iso_ctrl_register()

Type Parameter Key Value
PARAM_VALUE 0 trf 4096-ptr_max
PARAM_VALUE 0 trf->aborting 0
PARAM_VALUE 0 trf->is_initiator 1
PARAM_VALUE 0 trf->issue_eof 0
PARAM_VALUE 0 trf->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 trf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 trf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 trf->state 2
PARAM_VALUE 0 trf->technology 3
BUF_SIZE 0 trf 320,400,480,592
BUF_SIZE 0 trf 320,400,480,592
BUF_SIZE 0 trf->rx_skb (-1)-s32max
DATA_SOURCE 0 trf $0
PARAM_COMPARE 1 iso_ctrl != $0->iso_ctrl
BIT_INFO 1 iso_ctrl 0x0,0xe6
USER_PTR 0 trf->rx_skb->data
LOCK2 0 &trf->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct trf7970a)->lock

drivers/nfc/trf7970a.c trf7970a_tg_config_framing() -> trf7970a_update_iso_ctrl_register()

Type Parameter Key Value
PARAM_VALUE 0 trf 4096-ptr_max
PARAM_VALUE 0 trf->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->framing 7,10-11
PARAM_VALUE 0 trf->is_initiator 0
PARAM_VALUE 0 trf->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 trf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 trf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 trf->state 2-u32max
PARAM_VALUE 0 trf->tx_cmd 16-17
BUF_SIZE 0 trf 320,400,480,592
BUF_SIZE 0 trf 320,400,480,592
DATA_SOURCE 0 trf $0
FUZZY_MAX 0 trf->tx_cmd 17
BIT_INFO 0 trf->tx_cmd 0x10,0x11
HARD_MAX 0 trf->tx_cmd 17
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &trf->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct trf7970a)->lock

drivers/nfc/trf7970a.c trf7970a_tg_config_rf_tech() -> trf7970a_update_iso_ctrl_register()

Type Parameter Key Value
PARAM_VALUE 0 trf 4096-ptr_max
PARAM_VALUE 0 trf->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 trf->framing 11
PARAM_VALUE 0 trf->is_initiator 0
PARAM_VALUE 0 trf->iso_ctrl_tech 34-36
PARAM_VALUE 0 trf->lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 trf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 trf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 trf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 trf->modulator_sys_clk_ctrl 0-1,8-249
PARAM_VALUE 0 trf->state 2-u32max
PARAM_VALUE 0 trf->technology 0-2
PARAM_VALUE 1 iso_ctrl 34-36
BUF_SIZE 0 trf 320,400,480,592
BUF_SIZE 0 trf 320,400,480,592
DATA_SOURCE 0 trf $0
FUZZY_MAX 0 trf->iso_ctrl_tech 36
FUZZY_MAX 1 iso_ctrl 36
PARAM_COMPARE 0 trf->iso_ctrl != $0->iso_ctrl_tech
PARAM_COMPARE 1 iso_ctrl != $0->iso_ctrl
BIT_INFO 0 trf->iso_ctrl_tech 0x20,0x27
BIT_INFO 0 trf->modulator_sys_clk_ctrl 0x0,0xf9
BIT_INFO 1 iso_ctrl 0x20,0x27
HARD_MAX 0 trf->iso_ctrl_tech 36
HARD_MAX 1 iso_ctrl 36
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &trf->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct trf7970a)->lock