Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @ rule1 @ |
2 | identifier init; | |
3 | identifier XXX_attach, XXX_detach; // pad: XXX_detach useful ? | |
4 | @@ | |
5 | ||
6 | int init (...) { | |
7 | ... | |
8 | register_pccard_driver(&XXX_attach) | |
9 | ... | |
10 | } | |
11 | ||
12 | @ rule2 extends rule1 @ | |
13 | @@ | |
14 | ||
15 | init (...) { | |
16 | ... | |
17 | - register_pccard_driver(&XXX_attach); | |
18 | - return 0; | |
19 | + return pcmcia_register_driver(&ZZZ_driver); | |
20 | } | |
21 | ||
22 | @ rule3 extends rule1 @ | |
23 | identifier exit; | |
24 | @@ | |
25 | ||
26 | exit (...) { | |
27 | ... | |
28 | - unregister_pccard_driver(&dev_info); | |
29 | + pcmcia_unregister_driver(&XXX_attach); | |
30 | ... | |
31 | } |