On Tue, 02 Feb, at 12:09:41PM, Ard Biesheuvel wrote:

On 2 February 2016 at 12:08, Matt Fleming [off-list ref] wrote:

quoted

What about,

#define __init __compiletime_error("__init not supported in EFI boot stub")

That only works for invocations, i.e., it needs to be used in header
files, and will trigger the error if a call to the function remains
after optimization. We want it at function definition time instead.

Good point.

OK, how about we just do the #undef, call it good, and I add the task
of printing some helpful error message to my growing TODO list?