Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/crypto/tegra/tegra-se-aes.c tegra_aes_do_one_req() -> tegra_key_invalidate_reserved()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | se | 4096-ptr_max |
| PARAM_VALUE | 0 | se->cmdbuf | 4096-ptr_max |
| PARAM_VALUE | 0 | se->cmdbuf->addr | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | se->dev->cma_area->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | se->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | se->hw->regs | 4096-ptr_max |
| PARAM_VALUE | 0 | se->manifest | 0,4096-ptr_max |
| PARAM_VALUE | 0 | se->stream_id | 0-u16max |
| PARAM_VALUE | 0 | *se->cmdbuf->addr | 1024-2047 |
| PARAM_VALUE | 1 | keyid | 14-15 |
| CAPPED_DATA | 0 | se->dev->cma_area->nranges | 1 |
| NOCHECK_CALL |
drivers/crypto/tegra/tegra-se-aes.c tegra_aes_do_one_req() -> tegra_key_invalidate_reserved()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | se | 4096-ptr_max |
| PARAM_VALUE | 0 | se->cmdbuf | 4096-ptr_max |
| PARAM_VALUE | 0 | se->cmdbuf->addr | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | se->dev->cma_area->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | se->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | se->hw->regs | 4096-ptr_max |
| PARAM_VALUE | 0 | se->manifest | 0,4096-ptr_max |
| PARAM_VALUE | 0 | se->stream_id | 0-u16max |
| PARAM_VALUE | 0 | *se->cmdbuf->addr | 1024-2047 |
| PARAM_VALUE | 1 | keyid | 14-15 |
| CAPPED_DATA | 0 | se->dev->cma_area->nranges | 1 |
| NOCHECK_CALL |
drivers/crypto/tegra/tegra-se-aes.c tegra_ccm_do_one_req() -> tegra_key_invalidate_reserved()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | se | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | se->dev->cma_area->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | se->manifest | 0,4096-ptr_max |
| PARAM_VALUE | 0 | se->stream_id | 0-u16max |
| PARAM_VALUE | 1 | keyid | 14-15 |
| CAPPED_DATA | 0 | se->dev | 1 |
| CAPPED_DATA | 0 | se->dev->cma_area->nranges | 1 |
| NOCHECK_CALL |
drivers/crypto/tegra/tegra-se-aes.c tegra_cmac_do_one_req() -> tegra_key_invalidate_reserved()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | se->manifest | 0,4096-ptr_max |
| PARAM_VALUE | 0 | se->stream_id | 0-u16max |
| PARAM_VALUE | 1 | keyid | 14-15 |
| NOCHECK_CALL |
drivers/crypto/tegra/tegra-se-aes.c tegra_gcm_do_one_req() -> tegra_key_invalidate_reserved()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | se | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | se->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | se->dev->cma_area->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | se->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | se->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | se->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | se->hw->regs | 4096-ptr_max |
| PARAM_VALUE | 0 | se->manifest | 0,4096-ptr_max |
| PARAM_VALUE | 0 | se->stream_id | 0-u16max |
| PARAM_VALUE | 1 | keyid | 14-15 |
| CAPPED_DATA | 0 | se->dev | 1 |
| CAPPED_DATA | 0 | se->dev->cma_area->nranges | 1 |
| NOCHECK_CALL |