Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/verity/enable.c hash_one_block() -> fsverity_hash_block()

Type Parameter Key Value
PARAM_VALUE 0 params 1574501544110493696
PARAM_VALUE 0 params->block_size 0
PARAM_VALUE 0 params->digest_size 32,64
PARAM_VALUE 0 params->hash_alg 4096-ptr_max
PARAM_VALUE 0 params->hashstate 0
PARAM_VALUE 0 params->level_start 0
PARAM_VALUE 0 params->log_arity 0-12,235-255
PARAM_VALUE 0 params->log_blocks_per_page 0-2
PARAM_VALUE 0 params->log_blocksize 10-12
PARAM_VALUE 0 params->log_digestsize 0-31
PARAM_VALUE 0 params->num_levels 0-s32max
PARAM_VALUE 0 params->tree_pages 0-4503599627370495
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 out 4096-ptr_max
BUF_SIZE 1 data 64
DATA_SOURCE 0 params $0
MEM_ZERO 0 params
NOCHECK_CALL
USER_DATA 0 params->log_arity 0-12,235-255
USER_DATA 0 params->log_blocks_per_page 0-2[c]
USER_DATA 0 params->log_blocksize 10-12[c]

fs/verity/open.c fsverity_init_merkle_tree_params() -> fsverity_hash_block()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->digest_size 0,32,64
PARAM_VALUE 0 params->hash_alg 4096-ptr_max
PARAM_VALUE 0 params->level_start 0
PARAM_VALUE 0 params->log_arity 0-13,235-255
PARAM_VALUE 0 params->log_blocks_per_page 0-2
PARAM_VALUE 0 params->log_blocksize 10-12
PARAM_VALUE 0 params->log_digestsize 0-31,255
PARAM_VALUE 0 params->num_levels 0-s32max
PARAM_VALUE 0 params->zero_digest 0
PARAM_VALUE 1 data 18379471554275704832,18446612682070032384
PARAM_VALUE 2 out 0
BUF_SIZE 0 params->hashstate 0,104,208
BUF_SIZE 2 out 64
CAPPED_DATA 0 params->block_size 1
CAPPED_DATA 0 params->blocks_per_page 1
CAPPED_DATA 0 params->log_blocks_per_page 1
CAPPED_DATA 0 params->log_blocksize 1
DATA_SOURCE 0 params $0
FUZZY_MAX 0 params->num_levels 1
BIT_INFO 0 params->log_digestsize 0x0,0x1f
POWER_OF_TWO 0 *params
MEM_ZERO 0 params
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 params->log_arity 0-13,235-255
USER_DATA 0 params->log_blocks_per_page 0-2[c]
USER_DATA 0 params->log_blocksize 10-12[c]

fs/verity/verify.c fsverity_verify_pending_blocks() -> fsverity_hash_block()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->hash_alg->algo_id 0,4,6
BUF_SIZE 0 params 184
BUF_SIZE 2 out 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/verity/verify.c verify_data_block() -> fsverity_hash_block()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->hash_alg->algo_id 0,4,6
PARAM_VALUE 0 params->level_start 4096-ptr_max
PARAM_VALUE 2 out 951062254841724928
BUF_SIZE 0 params 184
BUF_SIZE 2 out 64
CAPPED_DATA 0 params->num_levels 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock