Documented in 1 files:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/page_alloc.c free_pages_bulk() -> num_pages_contiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nr_pages | 1-u32max,18446744069414584322-u64max |
| DATA_SOURCE | 0 | pages | $0 [m] |
| DATA_SOURCE | 1 | nr_pages | $1 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | pages | unit_page |
| UNITS | 1 | nr_pages | unit_page |
| HALF_LOCKED2 | ®ion->snapshot_lock |
drivers/vfio/vfio_iommu_type1.c vfio_pin_pages_remote() -> num_pages_contiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pages | 4096-ptr_max |
| PARAM_VALUE | 1 | nr_pages | 1-u32max |
| USER_DATA | 1 | nr_pages | 1-u32max |
| LOCK2 | &iommu->lock | ||
| HALF_LOCKED2 | &container->group_lock | ||
| TYPE_LOCK | (struct vfio_iommu)->lock |