Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-ima.c dm_ima_measure_on_device_remove() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
DATA_SOURCE 0 context $2
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_device_rename() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
CAPPED_DATA 0 context->update_idx 1
DATA_SOURCE 0 context $1
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_device_resume() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->table.device_metadata 0
PARAM_VALUE 0 context->table.hash 0
PARAM_VALUE 0 *context->dev_name 0-255
PARAM_VALUE 0 *context->dev_uuid 0-255
CAPPED_DATA 0 context->update_idx 1
DATA_SOURCE 0 context $2
MEM_ZERO 0 &context->table
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_device_resume() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 *context->dev_name 0-255
PARAM_VALUE 0 *context->dev_uuid 0-255
CAPPED_DATA 0 context->update_idx 1
DATA_SOURCE 0 context $2
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_table_clear() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
CAPPED_DATA 0 context->update_idx 1
DATA_SOURCE 0 context $1
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_table_load() -> fix_context_strings()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
CAPPED_DATA 0 context->update_idx 1
DATA_SOURCE 0 context $1
NOCHECK_CALL
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier