Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
221541264657072128 |
| PARAM_VALUE |
2 |
size |
17 |
| PARAM_VALUE |
3 |
sys |
1 |
| BUF_SIZE |
0 |
idt |
4096 |
| BUF_SIZE |
1 |
t |
408 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
6550257528530210816 |
| PARAM_VALUE |
2 |
size |
1 |
| PARAM_VALUE |
3 |
sys |
1 |
| BUF_SIZE |
0 |
idt |
4096 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_array_size |
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
2713732520633417728 |
| PARAM_VALUE |
2 |
size |
3 |
| PARAM_VALUE |
3 |
sys |
1 |
| BUF_SIZE |
0 |
idt |
4096 |
| BUF_SIZE |
1 |
t |
72 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_array_size |
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
2374768908415279104 |
| PARAM_VALUE |
2 |
size |
20 |
| PARAM_VALUE |
3 |
sys |
1 |
| BUF_SIZE |
0 |
idt |
4096 |
| BUF_SIZE |
1 |
t |
480 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_array_size |
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
6603244308754051072 |
| PARAM_VALUE |
2 |
size |
1 |
| PARAM_VALUE |
3 |
sys |
1 |
| BUF_SIZE |
0 |
idt |
4096 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_array_size |
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
idt |
6417045345633595392 |
| PARAM_VALUE |
1 |
t |
1200318156701487104 |
| PARAM_VALUE |
1 |
t->segment |
16 |
| PARAM_VALUE |
1 |
t->vector |
0-64,237-238,243 |
| PARAM_VALUE |
2 |
size |
1 |
| PARAM_VALUE |
3 |
sys |
0 |
| BUF_SIZE |
0 |
idt |
4096 |
| MEM_ZERO |
1 |
t |
|
| NOCHECK_CALL |
|
|
|