Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/char/agp/generic.c agp_free_memory() -> agp_free_page_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mem | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->bridge->driver->agp_destroy_pages | 8216089531446030336 |
| PARAM_VALUE | 0 | mem->type | 0 |
| BUF_SIZE | 0 | mem | (-1),104 |
| BUF_SIZE | 0 | mem | (-1),104 |
| CAPPED_DATA | 0 | mem->page_count | 1 |
| DATA_SOURCE | 0 | mem | $0 |
| NOSPEC | 0 | mem->num_scratch_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mem->num_scratch_pages | 1-8388608[c] |
| NO_OVERFLOW_SIMPLE | 0 | mem->num_scratch_pages | |
| NO_OVERFLOW_SIMPLE | 0 | mem->page_count | |
| NO_OVERFLOW_SIMPLE | 0 | mem->pg_start |
drivers/char/agp/generic.c agp_generic_free_by_type() -> agp_free_page_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mem | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->is_bound | 0 |
| PARAM_VALUE | 0 | mem->type | 1-u32max |
| DATA_SOURCE | 0 | mem | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mem->num_scratch_pages | |
| NO_OVERFLOW_SIMPLE | 0 | mem->page_count | |
| NO_OVERFLOW_SIMPLE | 0 | mem->pg_start |
drivers/char/agp/intel-gtt.c intel_fake_agp_alloc_by_type() -> agp_free_page_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mem | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->key | 0-64 |
| PARAM_VALUE | 0 | mem->num_scratch_pages | 0 |
| PARAM_VALUE | 0 | mem->page_count | 0,1024 |
| PARAM_VALUE | 0 | mem->pages | 16,4096-ptr_max |
| PARAM_VALUE | 0 | mem->type | 1 |
| BUF_SIZE | 0 | mem | 104 |
| CAPPED_DATA | 0 | mem->key | 1 |
| CAPPED_DATA | 0 | mem->page_count | 1 |
| DATA_SOURCE | 0 | mem | r agp_create_memory |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mem->num_scratch_pages | |
| NO_OVERFLOW_SIMPLE | 0 | mem->page_count | |
| HALF_LOCKED2 | bo->base.resv |
drivers/char/agp/intel-gtt.c intel_i810_free_by_type() -> agp_free_page_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mem | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->bridge | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->bridge->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->is_bound | 0 |
| PARAM_VALUE | 0 | mem->pages | 4096-ptr_max |
| PARAM_VALUE | 0 | mem->type | 2 |
| DATA_SOURCE | 0 | mem | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mem->num_scratch_pages | |
| NO_OVERFLOW_SIMPLE | 0 | mem->page_count | |
| NO_OVERFLOW_SIMPLE | 0 | mem->pg_start |