Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-ioctl.c get_result_buffer() -> align_ptr()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
HALF_LOCKED2 &md->io_barrier

drivers/md/dm-ioctl.c list_devices() -> align_ptr()

Type Parameter Key Value
PARAM_VALUE 0 *ptr 0-255
UNITS 0 ptr unit_byte
LOCK2 global &_hash_lock

drivers/md/dm-ioctl.c list_devices() -> align_ptr()

Type Parameter Key Value
UNITS 0 ptr unit_byte
LOCK2 global &_hash_lock

drivers/md/dm-ioctl.c list_version_get_info() -> align_ptr()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
UNITS 0 ptr unit_byte
HALF_LOCKED2 global &_lock

drivers/md/dm-ioctl.c retrieve_status() -> align_ptr()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-u64max
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier