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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
@ rule1 @
identifier buffer, start, offset, length, inout, hostno;
identifier hostptr;
identifier proc_info_func;
@@
proc_info_func (
+ struct Scsi_Host *hostptr,
char *buffer, char **start, off_t offset, int length,
- int hostno,
int inout) {
...
- struct Scsi_Host *hostptr;
...
- hostptr = scsi_host_hn_get(hostno);
...
?- if (!hostptr) { ... return ...; }
...
?- scsi_host_put(hostptr);
...
}
//alt:
//- proc_info_func(char *buffer, char **start, off_t offset, int length,
//- int hostno, int inout)
//+ proc_info_func(struct Scsi_Host *hostptr, char *buffer, char **start,
//+ off_t offset, int length, int inout)
//{
@@
identifier rule1.proc_info_func;
identifier rule1.hostno;
@@
proc_info_func(...) {
<...
- hostno
+ hostptr->host_no
...>
}
@@
identifier func;
expression buffer, start, offset, length, inout, hostno;
identifier hostptr;
identifier rule1.proc_info_func;
@@
func(..., struct Scsi_Host *hostptr, ...) {
<...
proc_info_func(
+ hostptr,
buffer, start, offset, length,
- hostno,
inout)
...>
}
|
