Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1215814

Re: [RFC] firmware: annotate thou shalt not request fw on init or probe

From Julia Lawall <julia.lawall@lip6.fr>
Newsgroups linux.kernel
Subject Re: [RFC] firmware: annotate thou shalt not request fw on init or probe
Date 2015-08-29 18:20 +0200
Message-ID <q2R1g-6Wa-19@gated-at.bofh.it> (permalink)
References <q2CYh-3wH-3@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


> +@ defines_module_init exists @
> +declarer name module_init;
> +identifier init;
> +@@
> +
> +module_init(init);
> +
> +@ has_probe depends on defines_module_init @
> +identifier drv_calls, drv_probe;
> +type bus_driver;
> +identifier probe_op =~ "(probe)";
> +@@
> +
> +bus_driver drv_calls = {
> +	.probe_op = drv_probe,
> +};

I'm not sure that this is enough.  For example, there is the macro
platform_driver_probe that initializes probe fields.  There is likewise
module_platform_driver, which is a top-level declaration that encapsulates
the module_init and the definition of the module_init function, which in
turn calls platform_driver_probe.  There is also module_platform_driver,
which encapsulates the module_init, but not the initialization of the probe
field.  Are you concerned with any of these cases?

julia
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

[RFC] firmware: annotate thou shalt not request fw on init or probe "Luis R. Rodriguez" <mcgrof@do-not-panic.com> - 2015-08-29 03:20 +0200
  Re: [RFC] firmware: annotate thou shalt not request fw on init or  probe Julia Lawall <julia.lawall@lip6.fr> - 2015-08-29 18:20 +0200
    Re: [RFC] firmware: annotate thou shalt not request fw on init or  probe "Luis R. Rodriguez" <mcgrof@suse.com> - 2015-09-03 03:40 +0200
      Re: [RFC] firmware: annotate thou shalt not request fw on init or  probe Julia Lawall <julia.lawall@lip6.fr> - 2015-09-03 08:00 +0200
  Re: [RFC] firmware: annotate thou shalt not request fw on init or probe Josh Boyer <jwboyer@fedoraproject.org> - 2015-09-01 19:30 +0200
    Re: [RFC] firmware: annotate thou shalt not request fw on init or  probe "Luis R. Rodriguez" <mcgrof@suse.com> - 2015-09-03 03:40 +0200
  Re: [Cocci] [RFC] firmware: annotate thou shalt not request fw on  init or probe SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-03 13:50 +0200

csiph-web