Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

block/ioctl.c blk_ioctl_discard() -> truncate_bdev_range()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 mode 0-31
BUF_SIZE 0 bdev 2136
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 mode $1
BIT_INFO 1 mode 0x2,0x1f
USER_DATA 2 lstart s64min-s64max
LOCK2 0 &bdev->bd_mapping->host->i_rwsem
LOCK2 0 &bdev->bd_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

block/ioctl.c blk_ioctl_secure_erase() -> truncate_bdev_range()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 mode 0-31
BUF_SIZE 0 bdev 2136
CAPPED_DATA 3 lend 1
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 mode $1
BIT_INFO 1 mode 0x2,0x1f
BIT_INFO 2 lstart 0x0,0xfffffffffffffe00
USER_DATA 2 lstart s64min-s64max
LOCK2 0 &bdev->bd_mapping->host->i_rwsem
LOCK2 0 &bdev->bd_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

block/ioctl.c blk_ioctl_zeroout() -> truncate_bdev_range()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 mode 0-31
PARAM_VALUE 2 lstart s64min-(-513),0-s64max
PARAM_VALUE 3 lend s64min-(-513),0-s64max
BUF_SIZE 0 bdev 2136
CAPPED_DATA 2 lstart 1
CAPPED_DATA 3 lend 1
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 mode $1
PARAM_COMPARE 2 lstart <= $3
PARAM_COMPARE 3 lend >= $2
BIT_INFO 1 mode 0x2,0x1f
BIT_INFO 2 lstart 0x0,0xfffffffffffffe00
USER_DATA 2 lstart 1-s32max[c]
LOCK2 0 &bdev->bd_mapping->host->i_rwsem
LOCK2 0 &bdev->bd_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

block/blk-zoned.c blkdev_reset_zone() -> truncate_bdev_range()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->bd_disk 4096-ptr_max
PARAM_VALUE 0 bdev->bd_disk->part0 4096-ptr_max
PARAM_VALUE 0 bdev->bd_disk->part0->bd_nr_sectors 1-u64max
PARAM_VALUE 0 bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 mode 0-31
PARAM_VALUE 2 lstart s64min-(-1024),0,512-s64max
PARAM_VALUE 3 lend s64min-(-513),(-1),511-s64max
CAPPED_DATA 2 lstart 1
CAPPED_DATA 2 lstart 1
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 mode $1
BIT_INFO 1 mode 0x2,0x1f
BIT_INFO 2 lstart 0x0,0x7ffffffffffffe00
BIT_INFO 2 lstart 0x0,0xfffffffffffffe00
USER_DATA 2 lstart 512-1099511627264[c]
LOCK2 0 &bdev->bd_mapping->host->i_rwsem
LOCK2 0 &bdev->bd_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

block/fops.c blkdev_fallocate() -> truncate_bdev_range()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 mode 0-31
PARAM_VALUE 2 lstart s64min-9223372036854775806
BUF_SIZE 0 bdev 2136
CAPPED_DATA 2 lstart 1
CAPPED_DATA 2 lstart 1
CAPPED_DATA 3 lend 1
CAPPED_DATA 3 lend 1
DATA_SOURCE 0 bdev r I_BDEV
DATA_SOURCE 2 lstart $2
NOSPEC 2 lstart
NOSPEC 2 lstart
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 lstart 0-9223372036854775806[c]
USER_DATA 3 lend s64min-s64max[c]
LOCK2 &inode->i_mapping->invalidate_lock
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem