@r@
declarer name module_init;
identifier f;
@@

module_init(f);

@s@
declarer name module_exit;
identifier e;
@@

module_exit(e);

@a@
identifier r.f;
identifier x;
@@

static f(...) {return pcmcia_register_driver(&x); }

@b depends on a@
identifier s.e,a.x;
@@

static e(...) { pcmcia_unregister_driver(&x); }

@t depends on r && a@
identifier r.f;
@@
-module_init(f);

@v depends on s && a && b@
declarer name module_pcmcia_driver;
identifier s.e, a.x;
@@
-module_exit(e);
+module_pcmcia_driver(x);

@c depends on b@
identifier r.f, a.x;
@@

-static f(...) {
-return pcmcia_register_driver(&x);
- }

@d depends on c@
identifier s.e, a.x;
@@

-static e(...) {
-pcmcia_unregister_driver(&x);
- }