Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/rcu/refscale.c hazptr_acquire() -> __hazptr_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 709164174502846464,3596797415756582912 |
| PARAM_VALUE | 0 | ctx->acquire_cpu | 0 |
| PARAM_VALUE | 0 | ctx->detach_cpu | 0 |
| PARAM_VALUE | 0 | ctx->detach_task | 0 |
| PARAM_VALUE | 1 | addr_p | 52816105000767488,1059481386333851648 |
| PARAM_VALUE | 1 | *addr_p | 4666599238725591040,6607073683194290176 |
| PARAM_VALUE | 1 | *(*addr_p) | 4666599238725591040,6607073683194290176 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | addr_p | $1 |
| HARD_MAX | 1 | *(*addr_p) | 6607073683194290176 |
| PREEMPT_ADD | <- disables preempt |
kernel/rcu/hazptrtorture.c hazptr_acquire() -> __hazptr_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->acquire_cpu | 0 |
| PARAM_VALUE | 0 | ctx->detach_cpu | 0 |
| PARAM_VALUE | 0 | ctx->detach_task | 0 |
| PARAM_VALUE | 1 | addr_p | 5966904324882792448 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | addr_p | $1 |
| PREEMPT_ADD | <- disables preempt |