Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|