Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/vmalloc.c __alloc_vmap_area() -> va_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 4096-ptr_max |
| PARAM_VALUE | 0 | va->va_end | 1-u64max |
| PARAM_VALUE | 1 | root | 6033051948811755520 |
| PARAM_VALUE | 2 | head | 6716448163714179072 |
| PARAM_VALUE | 3 | size | 1-u64max |
| CAPPED_DATA | 0 | va->va_end | 1 |
| CAPPED_DATA | 0 | va->va_start | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 5 | vstart | 1 |
| CAPPED_DATA | 5 | vstart | 1 |
| DATA_SOURCE | 0 | va | r find_vmap_lowest_match |
| DATA_SOURCE | 1 | root | $0 |
| DATA_SOURCE | 2 | head | $1 |
| DATA_SOURCE | 3 | size | $2 |
| DATA_SOURCE | 4 | align | $3 |
| DATA_SOURCE | 5 | vstart | $4 |
| DATA_SOURCE | 6 | vend | $5 |
| STR_LEN | 0 | va | (-1) |
| STR_LEN | 1 | root | (-1) |
| STR_LEN | 1 | root | (-1) |
| STR_LEN | 3 | size | (-1) |
| PARAM_COMPARE | 3 | size | > $5 |
| PARAM_COMPARE | 3 | size | > $5 |
| PARAM_COMPARE | 5 | vstart | < $3 |
| BIT_INFO | 3 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | size | 0x0,0xfffffffffffff000 |
| NOSPEC | 3 | size | |
| NOSPEC | 3 | size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | size | 1-u64max[c] |
| USER_DATA | 3 | size | 1-u64max[c] |
| UNITS | 3 | size | unit_byte |
| UNITS | 4 | align | unit_byte |
| UNITS | 5 | vstart | unit_byte |
| UNITS | 6 | vend | unit_byte |
| LOCK2 | global &free_vmap_area_lock |