Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/percpu.c pcpu_alloc_area() -> pcpu_find_zero_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | start | 0-s32max |
| PARAM_VALUE | 3 | nr | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 4 | align_mask | 0-4611686018427387902 |
| PARAM_VALUE | 5 | largest_off | 3348586663437627392 |
| PARAM_VALUE | 5 | *largest_off | 0 |
| PARAM_VALUE | 6 | largest_bits | 7306854388107554816 |
| PARAM_VALUE | 6 | *largest_bits | 0 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 2 | start | $3 |
| DATA_SOURCE | 3 | nr | $1 |
| PREEMPT_ADD | |||
| LOCK2 | flags | ||
| LOCK2 | global &pcpu_lock | ||
| HALF_LOCKED2 | global &pcpu_alloc_mutex |