Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/soc/qcom/mdt_loader.c __qcom_mdt_pas_init() -> mdt_header_valid()

Type Parameter Key Value
DATA_SOURCE 0 fw $1
STR_LEN 0 fw (-1),11
STR_LEN 0 fw (-1),11
RX_PATH
TASK_NOT_RUNNING

drivers/soc/qcom/mdt_loader.c qcom_mdt_get_size() -> mdt_header_valid()

Type Parameter Key Value
PARAM_VALUE 0 fw 0,4096-ptr_max
DATA_SOURCE 0 fw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &core->lock

drivers/soc/qcom/mdt_loader.c qcom_mdt_load_no_init() -> mdt_header_valid()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->size 1-u64max
CAPPED_DATA 0 fw->size 1
DATA_SOURCE 0 fw $1
STR_LEN 0 fw (-1),11
STR_LEN 0 fw (-1),11
RX_PATH
TASK_NOT_RUNNING

drivers/soc/qcom/mdt_loader.c qcom_mdt_read_metadata() -> mdt_header_valid()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->data 4096-ptr_max
PARAM_VALUE 0 fw->data->e_phentsize 32
PARAM_VALUE 0 fw->data->e_shentsize 0,40
PARAM_VALUE 0 fw->size 52-u64max
DATA_SOURCE 0 fw $0
STR_LEN 0 fw (-1),11,34,123
STR_LEN 0 fw (-1),11,34,123
RX_PATH
TASK_NOT_RUNNING