| 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 | } |