Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/bcache/sysfs.c __bch_flash_dev_store() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c->uuids 4096-ptr_max
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/sysfs.c __bch_flash_dev_store() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c->uuids 4096-ptr_max
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/sysfs.c __cached_dev_store() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->uuids 4096-ptr_max
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c bcache_device_detach() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c bch_cached_dev_attach() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->cache 4096-ptr_max
PARAM_VALUE 0 c->uuids 4096-u64max
CAPPED_DATA 0 c->cache->sb.block_size 1
CAPPED_DATA 0 &c->cached_devs 1
DATA_SOURCE 0 c $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c bch_cached_dev_attach() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->cache 4096-ptr_max
PARAM_VALUE 0 c->uuids 4096-u64max
CAPPED_DATA 0 c->cache->sb.block_size 1
CAPPED_DATA 0 &c->cached_devs 1
DATA_SOURCE 0 c $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c bch_flash_dev_create() -> bch_uuid_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->sb_write_mutex.first_waiter->up 0-1
DATA_SOURCE 0 c $0
NOCHECK_CALL
LOCK2 global &bch_register_lock