Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @@ |
2 | !type A; | |
3 | type A1; | |
4 | identifier X, X1; | |
5 | expression Y, Z; | |
6 | @@ | |
7 | ||
8 | ( | |
9 | A X; | |
10 | ooo | |
11 | A1 X1; | |
12 | ) | |
13 | <... | |
14 | request_irq(X->irq, Y, Z) | |
15 | ... | |
16 | <... | |
17 | X1->irq = X->irq; | |
18 | ...> | |
19 | ...> | |
20 | ||
21 | @@ | |
22 | identifier X2; | |
23 | local function fn; | |
24 | @@ | |
25 | ||
26 | ( | |
27 | fn(..., A1 X2, ...) { | |
28 | | | |
29 | fn(...) { | |
30 | A1 X2; | |
31 | ) | |
32 | <... | |
33 | - synchronize_irq() | |
34 | + synchronize_irq(X2) | |
35 | ...> | |
36 | } |