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

2016-06-16 Thread Luis R. Rodriguez
On Thu, Sep 03, 2015 at 07:56:33AM +0200, Julia Lawall wrote: > > > On Thu, 3 Sep 2015, Luis R. Rodriguez wrote: > > > On Sat, Aug 29, 2015 at 06:18:20PM +0200, Julia Lawall wrote: > > > > +@ defines_module_init exists @ > > > > +declarer name module_init; > > > > +identifier init; > > > > +@@ >

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

2015-09-03 Thread SF Markus Elfring
> +@ calls_fw_on_init depends on defines_module_init @ > +identifier defines_module_init.init; > +position p1; > +@@ > + > +init(void) > +{ > + ... Would it make sense to use the specification "when any" for such a SmPL ellipsis? http://coccinelle.lip6.fr/docs/main_grammar004.html > +( > +reques

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

2015-09-02 Thread Julia Lawall
On Thu, 3 Sep 2015, Luis R. Rodriguez wrote: > On Sat, Aug 29, 2015 at 06:18:20PM +0200, Julia Lawall wrote: > > > +@ defines_module_init exists @ > > > +declarer name module_init; > > > +identifier init; > > > +@@ > > > + > > > +module_init(init); > > > + > > > +@ has_probe depends on defines_m

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

2015-09-02 Thread Luis R. Rodriguez
On Tue, Sep 01, 2015 at 01:28:27PM -0400, Josh Boyer wrote: > On Fri, Aug 28, 2015 at 9:18 PM, Luis R. Rodriguez > wrote: > > From: "Luis R. Rodriguez" > > > > We are phasing out the usermode helper from the kernel, > > systemd already ripped support for this a while ago, the > > only remaining v

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

2015-09-02 Thread Luis R. Rodriguez
On Sat, Aug 29, 2015 at 06:18:20PM +0200, Julia Lawall wrote: > > +@ 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_d

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

2015-09-01 Thread Josh Boyer
On Fri, Aug 28, 2015 at 9:18 PM, Luis R. Rodriguez wrote: > From: "Luis R. Rodriguez" > > We are phasing out the usermode helper from the kernel, > systemd already ripped support for this a while ago, the > only remaining valid user is the Dell rbu driver. The Actually, I don't think that is acc

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

2015-08-29 Thread Julia Lawall
> +@ 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 = {

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

2015-08-28 Thread Luis R. Rodriguez
From: "Luis R. Rodriguez" We are phasing out the usermode helper from the kernel, systemd already ripped support for this a while ago, the only remaining valid user is the Dell rbu driver. The firmware is now being read directly from the filesystem by the kernel. What this means is that if you ha