Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/xen/gntdev.c gntdev_alloc_map() -> gnttab_dma_alloc_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 1969169276954976256 |
| PARAM_VALUE | 0 | args->frames | 1-18446744073709551614 |
| PARAM_VALUE | 0 | args->nr_pages | 1-65536 |
| PARAM_VALUE | 0 | args->pages | 1-18446744073709551614 |
| NOSPEC | 0 | args->nr_pages | |
| USER_DATA | 0 | args->coherent | 0-1 |
| USER_DATA | 0 | args->nr_pages | 2-65536[c] |
| NO_OVERFLOW_SIMPLE | 0 | args->nr_pages |