| PARAM_VALUE |
0 |
channel |
4096-ptr_max |
| PARAM_VALUE |
0 |
channel->change_target_cpu_callback |
4096-ptr_max |
| PARAM_VALUE |
0 |
channel->state |
3 |
| PARAM_VALUE |
0 |
channel->target_cpu |
0-8192 |
| PARAM_VALUE |
2 |
new |
0-8192 |
| CAPPED_DATA |
0 |
channel |
1 |
| CAPPED_DATA |
0 |
channel->target_cpu |
1 |
| CAPPED_DATA |
2 |
new |
1 |
| DATA_SOURCE |
0 |
channel |
$0 |
| DATA_SOURCE |
2 |
new |
$1 |
| PARAM_COMPARE |
1 |
old |
!= $2 |
| PARAM_COMPARE |
2 |
new |
!= $1 |
| CONSTRAINT |
2 |
new |
<3035 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
global &vmbus_connection.channel_mutex |
|
| HALF_LOCKED2 |
|
&of->mutex |
|
| TYPE_LOCK |
|
(struct vmbus_connection)->channel_mutex |
|
