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