Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 14 files:
- drivers/char/agp/alpha-agp.c, line 146
- drivers/char/agp/amd-k7-agp.c, line 386
- drivers/char/agp/amd64-agp.c, line 239
- drivers/char/agp/ati-agp.c, line 434
- drivers/char/agp/efficeon-agp.c, line 340
- drivers/char/agp/generic.c, line 1257
- drivers/char/agp/intel-agp.c
- drivers/char/agp/intel-gtt.c, line 1225
- drivers/char/agp/nvidia-agp.c, line 334
- drivers/char/agp/parisc-agp.c, line 246
- drivers/char/agp/sis-agp.c, line 145
- drivers/char/agp/sworks-agp.c, line 441
- drivers/char/agp/uninorth-agp.c
- drivers/char/agp/via-agp.c
Smatch caller information:
drivers/char/agp/generic.c agp_free_memory() -> (struct agp_bridge_driver)->agp_destroy_pages()
| 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->bridge->driver->agp_destroy_pages | 8216089531446030336 |
| PARAM_VALUE | 0 | mem->page_count | 1-u64max |
| PARAM_VALUE | 0 | mem->type | 0 |
| BUF_SIZE | 0 | mem | (-1),104 |
| BUF_SIZE | 0 | mem | (-1),104 |
| DATA_SOURCE | 0 | mem | $0 |
| CONTAINER | 0 | -168-8-16+0 | $(-1) |
| 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 |