Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/soc/qcom/ocmem.c ocmem_allocate() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 4100
PARAM_VALUE 2 data 0
BUF_SIZE 0 ocmem s32min-(-2),1-s32max
BUF_SIZE 0 ocmem s32min-(-2),1-s32max
CAPPED_DATA 0 ocmem->config->num_regions 1
DATA_SOURCE 0 ocmem $0
PARAM_COMPARE 2 data <= $0->memory->end
PARAM_COMPARE 2 data <= $0->memory->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &component_mutex

drivers/soc/qcom/ocmem.c ocmem_allocate() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 4104
PARAM_VALUE 2 data 131072,135168,139264,262144,278528,524288,589824,1048576,1179648,1572864,2097152,3145728,4194304,18874368,22020096
BUF_SIZE 0 ocmem s32min-(-2),1-s32max
BUF_SIZE 0 ocmem s32min-(-2),1-s32max
CAPPED_DATA 0 ocmem->config->num_regions 1
DATA_SOURCE 0 ocmem $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &component_mutex

drivers/soc/qcom/ocmem.c ocmem_free() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 4100
PARAM_VALUE 2 data 0
CAPPED_DATA 0 ocmem->config->num_regions 1
DATA_SOURCE 0 ocmem $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/soc/qcom/ocmem.c ocmem_free() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 4104
PARAM_VALUE 2 data 0
CAPPED_DATA 0 ocmem->config->num_regions 1
DATA_SOURCE 0 ocmem $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/soc/qcom/ocmem.c update_ocmem() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 4096
CAPPED_DATA 0 ocmem->config->num_regions 1
DATA_SOURCE 0 ocmem $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/soc/qcom/ocmem.c update_ocmem() -> ocmem_write()

Type Parameter Key Value
PARAM_VALUE 0 ocmem 4096-ptr_max
PARAM_VALUE 1 reg 60-314
PARAM_VALUE 2 data 0-s16max
CAPPED_DATA 0 ocmem->config->num_regions 1
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ocmem $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL