Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/wbsd.c wbsd_fifo_bh_work() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 8
PARAM_VALUE 2 value 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_finish_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 7
PARAM_VALUE 2 value 0
DATA_SOURCE 0 host $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_init_device() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 6
DATA_SOURCE 0 host $0
BIT_INFO 2 value 0x6,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255
HALF_LOCKED2 bh
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/wbsd.c wbsd_init_device() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 6
PARAM_VALUE 2 value 6-247
DATA_SOURCE 0 host $0
BIT_INFO 2 value 0x6,0xf7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 6-247[c]
HALF_LOCKED2 bh
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/wbsd.c wbsd_init_device() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 3
PARAM_VALUE 2 value 127
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x0,0xfffffffd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->clk 0-255
HALF_LOCKED2 bh
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 3
PARAM_VALUE 2 value 127
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 3
PARAM_VALUE 2 value 0-127
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 4
PARAM_VALUE 2 value 255
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 4
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 2
PARAM_VALUE 2 value 0,16-240
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
BIT_INFO 2 value 0x0,0xf0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 5
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 2
PARAM_VALUE 2 value 1,17-241
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
BIT_INFO 2 value 0x1,0xf1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 5
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 6
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->bus_width 0x0,0x2
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
BIT_INFO 2 value 0x4,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 7
PARAM_VALUE 2 value 1
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->bus_width 0x0,0x2
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 7
PARAM_VALUE 2 value 0
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->bus_width 0x0,0x2
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 8
PARAM_VALUE 2 value 24
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->bus_width 0x0,0x2
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_prepare_data() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 8
PARAM_VALUE 2 value 40
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->bus_width 0x0,0x2
BIT_INFO 0 host->flags 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_request_end() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 7
PARAM_VALUE 2 value 0
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &host->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_reset() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 6
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x0,0xfffffffc
BIT_INFO 2 value 0x2,0xff
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 2 value 0-255
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_set_ios() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 1
PARAM_VALUE 2 value 0-3
FUZZY_MAX 2 value 3
PARAM_COMPARE 2 value != $0->clk
HARD_MAX 2 value 3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->clk 0-255
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock

drivers/mmc/host/wbsd.c wbsd_set_ios() -> wbsd_write_index()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 index 6
CAPPED_DATA 0 host->clk 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255
LOCK2 bh
LOCK2 0 &host->lock
TYPE_LOCK (struct wbsd_host)->lock