Defined in 6 files as a member:

Defined in 3 files as a function:

Referenced in 23 files:

Smatch caller information:

drivers/gpu/drm/panfrost/panfrost_mmu.c lock_region() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kcs->base.dev 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 kcs->base.huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704
PARAM_VALUE 0 kcs->perfcnt->user 0-s64max
PARAM_VALUE 1 data 0-s32max
PARAM_VALUE 2 cmd 2
DATA_SOURCE 0 kcs $0
DATA_SOURCE 1 data $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &kcs->as_lock
TYPE_LOCK (struct panfrost_device)->as_lock

drivers/gpu/drm/panfrost/panfrost_mmu.c mmu_hw_do_operation_locked() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kcs->base.dev 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 kcs->base.huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 kcs->perfcnt->user 0-s64max
PARAM_VALUE 1 data 0-s32max
PARAM_VALUE 2 cmd 4-5
DATA_SOURCE 0 kcs $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 cmd $4
HARD_MAX 2 cmd 5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &kcs->as_lock
TYPE_LOCK (struct panfrost_device)->as_lock

drivers/gpu/drm/panfrost/panfrost_mmu.c panfrost_mmu_disable() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kcs->base.dev 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 cmd 1
DATA_SOURCE 0 kcs $0
DATA_SOURCE 1 data $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &kcs->as_lock
TYPE_LOCK (struct panfrost_device)->as_lock

drivers/gpu/drm/panfrost/panfrost_mmu.c panfrost_mmu_enable() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kcs->as_lru_list.next 4096-ptr_max
PARAM_VALUE 0 kcs->as_lru_list.next->next 4096-ptr_max
PARAM_VALUE 0 kcs->as_lru_list.next->prev 4096-ptr_max
PARAM_VALUE 0 kcs->base.dev 4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->bus 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->class 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->power.request 0-4
PARAM_VALUE 0 kcs->base.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 kcs->base.dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 kcs->base.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 kcs->base.dev->type 0,4096-ptr_max
PARAM_VALUE 0 kcs->perfcnt->user 0-s64max
PARAM_VALUE 2 cmd 1
DATA_SOURCE 0 kcs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &kcs->as_lock
HALF_LOCKED2 &perfcnt->lock
TYPE_LOCK (struct panfrost_device)->as_lock

drivers/char/ipmi/ipmi_kcs_sm.c kcs_event() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->io->inputb 4096-ptr_max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 1
PARAM_VALUE 1 data 97
BUF_SIZE 0 kcs (-1),208,608,624
BUF_SIZE 0 kcs (-1),208,608,624
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
USER_DATA 0 kcs->write_count 3-274[c]
HALF_LOCKED2 global &smi_infos_lock

drivers/char/ipmi/ipmi_kcs_sm.c kcs_event() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->io->inputb 4096-ptr_max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 2
PARAM_VALUE 0 kcs->write_count 1
PARAM_VALUE 1 data 98
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags

drivers/char/ipmi/ipmi_kcs_sm.c kcs_event() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->io->inputb 4096-ptr_max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 3
PARAM_VALUE 0 kcs->write_count 1
PARAM_VALUE 1 data 98
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags

drivers/char/ipmi/ipmi_kcs_sm.c kcs_event() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->io->inputb 4096-ptr_max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 6
PARAM_VALUE 1 data 96
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
USER_DATA 0 kcs->write_count 3-274[c]
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags

drivers/char/ipmi/ipmi_kcs_sm.c restart_kcs_transaction() -> write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->io->inputb 4096-ptr_max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->obf_timeout 5000000
PARAM_VALUE 0 kcs->orig_write_count s32min-(-1),1-s32max
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->read_pos 0
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 2
PARAM_VALUE 0 kcs->write_count s32min-(-1),1-s32max
PARAM_VALUE 0 kcs->write_pos 0
PARAM_VALUE 1 data 97
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
USER_DATA 0 kcs->write_count 3-272[c]
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags