Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/partitions/amiga.c amiga_partition() -> checksum_block()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 size 0-127
DATA_SOURCE 0 m r read_part_sector
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/amiga.c amiga_partition() -> checksum_block()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 size 0-127
DATA_SOURCE 0 m r read_part_sector
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/amiga.c amiga_partition() -> checksum_block()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 size 0-127
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex