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 144
- drivers/char/agp/amd-k7-agp.c, line 384
- drivers/char/agp/amd64-agp.c, line 237
- drivers/char/agp/ati-agp.c, line 432
- drivers/char/agp/efficeon-agp.c, line 338
- drivers/char/agp/generic.c, line 1215
- drivers/char/agp/intel-agp.c
- drivers/char/agp/intel-gtt.c, line 1223
- drivers/char/agp/nvidia-agp.c, line 332
- drivers/char/agp/parisc-agp.c, line 244
- drivers/char/agp/sis-agp.c, line 143
- drivers/char/agp/sworks-agp.c, line 439
- drivers/char/agp/uninorth-agp.c
- drivers/char/agp/via-agp.c
Smatch caller information:
drivers/char/agp/generic.c agp_allocate_memory() -> (struct agp_bridge_driver)->agp_alloc_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bridge | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge->driver->agp_alloc_pages | 8413373212967698432 |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->key | 0-64 |
| PARAM_VALUE | 1 | mem->pages | 16,4096-ptr_max |
| PARAM_VALUE | 1 | mem->type | 0 |
| BUF_SIZE | 1 | mem | 104 |
| CAPPED_DATA | 1 | mem->key | 1 |
| CAPPED_DATA | 1 | mem->num_scratch_pages | 1 |
| CAPPED_DATA | 2 | num_pages | 1 |
| CAPPED_DATA | 2 | num_pages | 1 |
| DATA_SOURCE | 0 | bridge | $0 |
| DATA_SOURCE | 1 | mem | r agp_create_memory |
| DATA_SOURCE | 2 | num_pages | $1 |
| CONTAINER | 0 | -152-8+0 | $(-1) |
| PARAM_COMPARE | 0 | bridge->max_memory_agp | >= $2 |
| PARAM_COMPARE | 2 | num_pages | <= $0->max_memory_agp |
| NOSPEC | 1 | mem->num_scratch_pages | |
| NOSPEC | 2 | num_pages | |
| NOSPEC | 2 | num_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | mem->num_scratch_pages | 1-8388608[c] |
| USER_DATA | 2 | num_pages | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | mem->num_scratch_pages | |
| NO_OVERFLOW_SIMPLE | 2 | num_pages | |
| HALF_LOCKED2 | bo->base.resv |