| PARAM_VALUE |
0 |
domain |
4096-ptr_max |
| PARAM_VALUE |
0 |
domain->hwirq_max |
1-u64max |
| PARAM_VALUE |
0 |
domain->ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
domain->ops->map |
1-u64max |
| PARAM_VALUE |
0 |
domain->root->mutex.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
domain->root->mutex.first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
domain->root->mutex.first_waiter->list.prev->next |
5159360019465732096 |
| PARAM_VALUE |
0 |
domain->root->mutex.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
domain->root->mutex.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
domain->root->mutex.wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
domain->root->mutex.wait_lock.owner_cpu |
u32max |
| PARAM_VALUE |
1 |
irq |
0 |
| PARAM_VALUE |
2 |
hwirq |
0-18446744073709551614 |
| BUF_SIZE |
0 |
domain |
(-1),376-s32max |
| BUF_SIZE |
0 |
domain |
(-1),376-s32max |
| BUF_SIZE |
0 |
domain->host_data |
s32min-(-1),1-s32max |
| BUF_SIZE |
0 |
domain->ops |
(-1),96 |
| CAPPED_DATA |
0 |
domain->hwirq_max |
1 |
| CAPPED_DATA |
2 |
hwirq |
1 |
| CAPPED_DATA |
2 |
hwirq |
1 |
| DATA_SOURCE |
0 |
domain |
$0 |
| DATA_SOURCE |
1 |
irq |
$1 |
| DATA_SOURCE |
2 |
hwirq |
$2 |
| CONTAINER |
0 |
-16-24+0 |
$(-1) |
| PARAM_COMPARE |
0 |
domain->hwirq_max |
> $2 |
| PARAM_COMPARE |
2 |
hwirq |
< $0->hwirq_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
domain->gc->num_chips |
|
| NO_OVERFLOW_SIMPLE |
0 |
domain->hwirq_max |
|
| NO_OVERFLOW_SIMPLE |
0 |
domain->revmap_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
domain->root->hwirq_max |
|
| NO_OVERFLOW_SIMPLE |
0 |
domain->root->revmap_size |
|
| NO_OVERFLOW_SIMPLE |
2 |
hwirq |
|
| LOCK2 |
0 |
&domain->root->mutex |
|
| TYPE_LOCK |
|
(struct irq_domain)->mutex |
|
