Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-stripe.c stripe_dax_pgoff() -> stripe_map_sector()

Type Parameter Key Value
PARAM_VALUE 2 stripe 5242702224315576320
PARAM_VALUE 3 result 2812359924177907712
BUF_SIZE 0 sc 16,40-s32max
BUF_SIZE 0 sc 16,40-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 sector 0-u64max[c]
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 global &dax_srcu
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-stripe.c stripe_map() -> stripe_map_sector()

Type Parameter Key Value
PARAM_VALUE 2 stripe 4379290306265059328
PARAM_VALUE 3 result 4096-ptr_max
BUF_SIZE 0 sc 16,40-s32max
BUF_SIZE 0 sc 16,40-s32max
NOSPEC 1 sector
NOSPEC 1 sector
NOSPEC 3 *result
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sector 0
HOST_DATA 3 *result 0
USER_DATA 1 sector 0
USER_DATA 3 *result 0
UNITS 1 sector unit_byte
USER_PTR 3 result
LOCK2 &md->io_barrier
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->swap_bios_semaphore
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-stripe.c stripe_map_range_sector() -> stripe_map_sector()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->stripes 1-u32max
PARAM_VALUE 2 stripe 3096783969885134848
PARAM_VALUE 3 result 5802568596515491840,8577296223158931456
BUF_SIZE 0 sc 16,40-s32max
BUF_SIZE 0 sc 16,40-s32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 sector $1
DATA_SOURCE 3 result $3
NOSPEC 1 sector
NOSPEC 1 sector
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sector 0
USER_DATA 1 sector 0
UNITS 1 sector unit_byte
LOCK2 &md->io_barrier
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->swap_bios_semaphore
TYPE_LOCK (struct mapped_device)->io_barrier