Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-table.c device_area_is_invalid() -> bdev_is_zone_aligned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | sector | 0-18446744073709551614 |
| CAPPED_DATA | 1 | sector | 1 |
| CAPPED_DATA | 1 | sector | 1 |
| DATA_SOURCE | 1 | sector | $2 |
| PARAM_COMPARE | 0 | bdev->bd_nr_sectors | > $1 |
| PARAM_COMPARE | 1 | sector | < $0->bd_nr_sectors |
| UNITS | 1 | sector | unit_byte |
drivers/md/dm-table.c device_area_is_invalid() -> bdev_is_zone_aligned()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| DATA_SOURCE | 1 | sector | $3 |
| UNITS | 1 | sector | unit_byte |