1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
@@
struct gendisk g;
expression E;
@@
?- g.nr_real = E;
@@
struct gendisk g;
@@
error words = [g.nr_real]
@@
struct gendisk *A;
expression B, E;
struct gendisk *C;
int E1;@@
(
add_gendisk(C+E1);
ooo
- A[minor(B)].nr_sects = E;
+ set_capacity(C[&DEVICE_NR(B)],E);
|
- A->part[B].nr_sects = E;
+ set_capacity(A+B,E);
|
add_gendisk(C+E1);
ooo
- A[minor(B)].nr_sects
+ get_capacity(C[&DEVICE_NR(B)])
ooo
|
...
- A->part[B].nr_sects
+ get_capacity(A+B)
...
)
|
