Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_deinit_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mfc_ops->try_run 4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_init_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctx 4096-ptr_max
PARAM_VALUE 0 dev->fw_buf.virt 1-u64max
PARAM_VALUE 0 dev->fw_get_done 1
PARAM_VALUE 0 dev->num_inst 1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->risc_on 0
PARAM_VALUE 0 dev->variant 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->num_inst 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_init_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctx 4096-ptr_max
PARAM_VALUE 0 dev->fw_buf.virt 1-u64max
PARAM_VALUE 0 dev->fw_get_done 1
PARAM_VALUE 0 dev->int_cond 0
PARAM_VALUE 0 dev->int_err 0
PARAM_VALUE 0 dev->int_type 0
PARAM_VALUE 0 dev->num_inst 1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->variant 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->num_inst 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_init_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctx 4096-ptr_max
PARAM_VALUE 0 dev->fw_buf.virt 1-u64max
PARAM_VALUE 0 dev->fw_get_done 1
PARAM_VALUE 0 dev->int_cond 0
PARAM_VALUE 0 dev->int_err 0
PARAM_VALUE 0 dev->int_type 0
PARAM_VALUE 0 dev->mfc_cmds 0,4096-ptr_max
PARAM_VALUE 0 dev->mfc_cmds->sys_init_cmd 380319666454933504,988383822551724032
PARAM_VALUE 0 dev->num_inst 1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->variant 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->num_inst 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_init_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctx 4096-ptr_max
PARAM_VALUE 0 dev->fw_buf.virt 1-u64max
PARAM_VALUE 0 dev->fw_get_done 1
PARAM_VALUE 0 dev->int_cond 0
PARAM_VALUE 0 dev->int_err 0
PARAM_VALUE 0 dev->int_type 0
PARAM_VALUE 0 dev->mfc_cmds 4096-ptr_max
PARAM_VALUE 0 dev->mfc_cmds->sys_init_cmd 380319666454933504,988383822551724032
PARAM_VALUE 0 dev->num_inst 1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->variant 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->num_inst 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_init_hw() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctx 4096-ptr_max
PARAM_VALUE 0 dev->fw_buf.virt 1-u64max
PARAM_VALUE 0 dev->fw_get_done 1
PARAM_VALUE 0 dev->int_cond 0
PARAM_VALUE 0 dev->int_err 0
PARAM_VALUE 0 dev->int_type 0
PARAM_VALUE 0 dev->mfc_cmds 4096-ptr_max
PARAM_VALUE 0 dev->mfc_cmds->sys_init_cmd 380319666454933504,988383822551724032
PARAM_VALUE 0 dev->num_inst 1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->pm.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->variant 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->num_inst 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mfc_mutex

drivers/media/platform/samsung/s5p-mfc/s5p_mfc_ctrl.c s5p_mfc_wakeup() -> s5p_mfc_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_inst s32min-(-1),1-s32max
PARAM_VALUE 0 dev->pm.clock_gate 0,4096-ptr_max
PARAM_VALUE 0 dev->pm.clock_gate->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->risc_on 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &fsm->lock