Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/cqhci-crypto.c cqhci_crypto_init() -> (struct blk_crypto_ll_ops)->keyslot_evict()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | profile | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots.next | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots.prev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots_wait_queue.head.next | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots_wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots_wait_queue.head.prev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots_wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->idle_slots_wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->key_types_supported | 0-1 |
| PARAM_VALUE | 0 | profile->ll_ops.derive_sw_secret | 0 |
| PARAM_VALUE | 0 | profile->ll_ops.generate_key | 0 |
| PARAM_VALUE | 0 | profile->ll_ops.import_key | 0 |
| PARAM_VALUE | 0 | profile->ll_ops.keyslot_evict | 0,7535837842209603584 |
| PARAM_VALUE | 0 | profile->ll_ops.keyslot_program | 0,8563927702056816640 |
| PARAM_VALUE | 0 | profile->ll_ops.prepare_key | 0 |
| PARAM_VALUE | 0 | profile->lock.count.counter | 0 |
| PARAM_VALUE | 0 | profile->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | profile->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | profile->lock.magic | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | profile->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | profile->lockdep_key.hash_entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->log_slot_ht_size | 0-31 |
| PARAM_VALUE | 0 | profile->max_dun_bytes_supported | 0,4 |
| PARAM_VALUE | 0 | profile->modes_supported | 0 |
| PARAM_VALUE | 0 | profile->num_slots | 1-u32max |
| PARAM_VALUE | 0 | profile->slot_hashtable | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->slots | 0,4096-ptr_max |
| PARAM_VALUE | 1 | key | 0 |
| BUF_SIZE | 0 | profile | 472 |
| CAPPED_DATA | 2 | slot | 1 |
| FUZZY_MAX | 0 | profile->key_types_supported | 1 |
| FUZZY_MAX | 0 | profile->log_slot_ht_size | 0 |
| FUZZY_MAX | 0 | profile->max_dun_bytes_supported | 4 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| PARAM_COMPARE | 0 | profile->num_slots | > $2 |
| PARAM_COMPARE | 2 | slot | < $0->num_slots |
| CONSTRAINT | 2 | slot | <3948 |
| HARD_MAX | 0 | profile->key_types_supported | 1 |
| HARD_MAX | 0 | profile->max_dun_bytes_supported | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | profile->num_slots | |
| NO_OVERFLOW_SIMPLE | 2 | slot |
drivers/ufs/core/ufshcd-crypto.c ufshcd_init_crypto() -> (struct blk_crypto_ll_ops)->keyslot_evict()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | profile | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->num_slots | 1-u32max |
| PARAM_VALUE | 1 | key | 0 |
| PARAM_VALUE | 2 | slot | 0-s32max |
| CAPPED_DATA | 2 | slot | 1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| NOCHECK_CALL |
block/blk-crypto-profile.c __blk_crypto_evict_key() -> (struct blk_crypto_ll_ops)->keyslot_evict()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | profile | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | profile->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | profile->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | profile->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->ll_ops.keyslot_evict | 1-u64max |
| PARAM_VALUE | 0 | profile->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | profile->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | profile->num_slots | 0 |
| PARAM_VALUE | 2 | slot | u32max |
| DATA_SOURCE | 0 | profile | $0 |
| DATA_SOURCE | 1 | key | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &profile->lock | |
| TYPE_LOCK | (struct blk_crypto_profile)->lock |
block/blk-crypto-profile.c __blk_crypto_evict_key() -> (struct blk_crypto_ll_ops)->keyslot_evict()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | profile | 4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | profile->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | profile->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | profile->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | profile->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | profile->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | profile->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | profile->num_slots | 1-u32max |
| CAPPED_DATA | 1 | key | 1 |
| DATA_SOURCE | 0 | profile | $0 |
| DATA_SOURCE | 1 | key | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &profile->lock | |
| TYPE_LOCK | (struct blk_crypto_profile)->lock |