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
|
@@
struct Scsi_Host_Template sht;
!local function proc_info_func;
@@
sht.proc_info = proc_info_func;
@@
identifier buffer, start, offset, length, inout, hostptr, hostno;
@@
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 == NULL) { ... }
...
?- scsi_host_put(hostptr);
...
}
@@
expression E;
@@
proc_info_func(...) {
<...
(
- E->host_no == hostno
+ E == hostptr
|
- hostno
+ hostptr->host_no
)
...>
}
|
