Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/swiotlb-xen.c xen_swiotlb_free_coherent() -> xen_destroy_contiguous_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | order | 0-32 |
| CAPPED_DATA | 0 | pstart | 1 |
| CAPPED_DATA | 0 | pstart | 1 |
| DATA_SOURCE | 0 | pstart | r virt_to_phys |
| DATA_SOURCE | 1 | order | r get_order |
| NOCHECK_CALL |