Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/kcsan-checks.h, line 209 (as a function)
- kernel/kcsan/core.c, line 915 (as a function)
Referenced in 3 files:
Smatch caller information:
kernel/rcu/tree.c rcu_exp_handler() -> kcsan_begin_scoped_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| PARAM_VALUE | 2 | type | 24 |
| PARAM_VALUE | 3 | sa | 4576278903448506368 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | flags |
kernel/rcu/tree.c rcu_exp_need_qs() -> kcsan_begin_scoped_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *ptr | 0-255 |
| PARAM_VALUE | 1 | size | 1 |
| PARAM_VALUE | 2 | type | 24 |
| PARAM_VALUE | 3 | sa | 1613048477431152640 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | flags |
kernel/rcu/tree.c rcu_preempt_ctxt_queue() -> kcsan_begin_scoped_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *ptr | 0-255 |
| PARAM_VALUE | 1 | size | 1 |
| PARAM_VALUE | 2 | type | 24 |
| PARAM_VALUE | 3 | sa | 8994821215529582592 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | irq |
mm/kfence/core.c kfence_guarded_free() -> kcsan_begin_scoped_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptr | 0,4096-u64max |
| PARAM_VALUE | 1 | size | 4096 |
| PARAM_VALUE | 2 | type | 25 |
| PARAM_VALUE | 3 | sa | 6506677827089473536 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | &meta->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct kfence_metadata)->lock |