On Wed, Jan 01, 2020 at 07:13:45PM +0100, Ard Biesheuvel wrote: > The GCC documentation mentions that it does not make sense for a > function annotated as const not to take any arguments, so I'd rather > avoid it here. Where does it say that? I only see it saying it doesn't make sense for it to return void. Currently if we call 5 EFI services in the same function, it has to re-evaluate systemtable and is64 for each call, which seems wasteful, though of course this is not exactly performance-critical code.