Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @ rule1 @ |
2 | identifier I; | |
3 | identifier f; | |
4 | @@ | |
5 | ||
6 | struct block_device_operations I = { | |
7 | .ioctl = f, | |
8 | }; | |
9 | ||
10 | @@ | |
11 | identifier rule1.f; | |
12 | expression A, B, C; | |
13 | identifier inodename, filename, cmd, arg; | |
14 | @@ | |
15 | ||
16 | f(struct inode *inodename, struct file *filename, unsigned int cmd, | |
17 | unsigned long arg) { | |
18 | <... | |
19 | - cdrom_ioctl(A, inodename, cmd, arg) | |
20 | + xxx() | |
21 | ...> | |
22 | } |