On Sat, 2014-09-27 at 10:04 +0200, Valentin Rothberg wrote:
> I will send some patches the
> next weeks to show which bugs can be detected with the tool.
Looking forward to those patches. If you do send them would you mind
CC-ing me?
Thanks,
Paul Bolle
--
To unsubscribe from this list
On Fri, 2014-09-26 at 13:34 +0100, Matt Fleming wrote:
> On Fri, 26 Sep, at 01:59:15PM, Paul Bolle wrote:
> >
> > I have a 800 line perl monster that checks for stuff like this. It's not
> > very sophisticated but smart enough to spot typos like this one. I try
>
On Fri, 2014-09-26 at 12:44 +0100, Matt Fleming wrote:
> On Fri, 26 Sep, at 01:27:34PM, Paul Bolle wrote:
> >
> > This Makefile was changed in the first patch. That became 84be880560fb
> > ("Revert "efi/x86: efistub: Move shared dependencies to ""
| 2 +-
This Makefile was changed in the first patch. That became 84be880560fb
("Revert "efi/x86: efistub: Move shared dependencies to ""),
which just landed in next-20140926.
It appears to have introduced a typo, because:
CONFIG_EFI_ARM_STUB
should probably have been
e_size = store_size;
> + efidata->remaining_size = remaining_size;
> + efidata->max_var_size = var_size;
> +
> + if (data)
> + data->next = (unsigned long)efidata;
> + else
> + params->hdr.setup_data = (unsigned long)efidata;
>
On Fri, 2013-03-22 at 20:18 +, Ben Hutchings wrote:
> I found those too[...]!
Great! Would you mind CC-ing me if you find the time to fix these, if
that turns out to be necessary?
Paul Bolle
--
To unsubscribe from this list: send the line "unsubscribe linux-efi" in
the body of
mp;& IS_ENABLED(GPIO_GENERIC_PLATFORM)) {
arch/arm64/mm/mmu.c:264:bool page64k = IS_ENABLED(ARM64_64K_PAGES);
[...]
Did you check these other three (potential) problems too?
Paul Bolle
--
To unsubscribe from this list: send the line "unsubscribe linux-efi" in
the body of a