Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/kasan/common.c __kasan_kmalloc_large() -> poison_kmalloc_large_redzone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 262144-33816574 |
| DATA_SOURCE | 0 | ptr | $0 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | flags | $2 |
| STR_LEN | 0 | ptr | (-1),1-8,10-12,14,16,20,31,39,45,88 |
| STR_LEN | 0 | ptr | (-1),1-8,10-12,14,16,20,31,39,45,88 |
| STR_LEN | 1 | size | (-1),1-8,10-12,14,16,20,31,39,45,88 |
| STR_LEN | 1 | size | (-1),1-8,10-12,14,16,20,31,39,45,88 |
| BIT_INFO | 2 | flags | 0x40000,0x3ffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | size | 8193-11269994182080[c] |
| USER_DATA | 1 | size | 8193-u64max |
| UNITS | 1 | size | unit_byte |
mm/kasan/common.c __kasan_krealloc() -> poison_kmalloc_large_redzone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptr | 17-u64max |
| PARAM_VALUE | 1 | size | 1-u64max |
| BUF_SIZE | 0 | ptr->dev_id | (-1)-s32max |
| BUF_SIZE | 0 | ptr->grp.attrs | (-1),8 |
| BUF_SIZE | 0 | ptr->grp.name | (-1),11 |
| CAPPED_DATA | 0 | ptr | 1 |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | ptr | $0 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | flags | $2 |
| STR_LEN | 0 | ptr | (-1)-1010101 |
| STR_LEN | 0 | ptr | (-1)-1010101 |
| STR_LEN | 0 | ptr->grp.name | (-1),10 |
| NOSPEC | 1 | size | |
| NOSPEC | 1 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | size | 1-s32max[c] |
| USER_DATA | 1 | size | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ptr->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | ptr->info->size | |
| NO_OVERFLOW_SIMPLE | 0 | ptr->ndescs | |
| UNITS | 0 | ptr | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &c->commit_sem | ||
| HALF_LOCKED2 | &c->tnc_mutex | ||
| HALF_LOCKED2 | &call->user_mutex | ||
| HALF_LOCKED2 | &card->fw.lock | ||
| HALF_LOCKED2 | &card->mutex | ||
| HALF_LOCKED2 | &counter->mtx | ||
| HALF_LOCKED2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | &hidg->read_spinlock | ||
| HALF_LOCKED2 | &ioc->reset_in_progress_mutex | ||
| HALF_LOCKED2 | &ipvs->est_mutex | ||
| HALF_LOCKED2 | &mdevice->devmem_lock | ||
| HALF_LOCKED2 | &mdsc->mutex | ||
| HALF_LOCKED2 | &mgr->topology_ref_history_lock | ||
| HALF_LOCKED2 | &nbd->config_lock | ||
| HALF_LOCKED2 | &nlk->nl_cb_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &opts->lock | ||
| HALF_LOCKED2 | &p->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &priv->wsm_cmd_mux | ||
| HALF_LOCKED2 | &psi->read_mutex | ||
| HALF_LOCKED2 | &smaster->lock | ||
| HALF_LOCKED2 | &supplies->supplies_lock | ||
| HALF_LOCKED2 | &vc4->bo_lock | ||
| HALF_LOCKED2 | &vm->lock | ||
| HALF_LOCKED2 | &vsi->xdp_state_lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &bioscfg_drv.mutex | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &comedi_drivers_list_lock | ||
| HALF_LOCKED2 | global &dax_dev_rwsem | ||
| HALF_LOCKED2 | global &dax_region_rwsem | ||
| HALF_LOCKED2 | global &event_mutex | ||
| HALF_LOCKED2 | global &f_midi2_desc_mutex | ||
| HALF_LOCKED2 | global &genl_mutex | ||
| HALF_LOCKED2 | global &icc_lock | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nl_table_lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | obj->resv | ||
| HALF_LOCKED2 | queue_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | su_mutex |
mm/kasan/common.c __kasan_mempool_unpoison_object() -> poison_kmalloc_large_redzone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | flags | 0 |
| BUF_SIZE | 0 | ptr | (-1),1-s32max |
| BUF_SIZE | 0 | ptr | (-1),1-s32max |
| BUF_SIZE | 1 | size | (-1),1216,1600,1752-s32max |
| CAPPED_DATA | 0 | ptr | 1 |
| DATA_SOURCE | 0 | ptr | $0 |
| DATA_SOURCE | 1 | size | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &ctx->uring_lock |