On Sat, Jan 18, 2020 at 2:35 PM Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > > > On Jan 18, 2020, at 3:00 AM, Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > > > > > > Can't we just use READ_ONCE_NOCHECK() instead? > > > > My understanding is that KASAN actually want to make sure there is a no dereference of user memory because it has security implications. Does that make no sense here? > > Not really. This code runs extremely early in the boot, with a > temporary 1:1 memory mapping installed so that the EFI firmware can > transition into virtually remapped mode. > > Furthermore, the same issue exists for mixed mode, so we'll need to > fix that as well. I'll spin a patch and credit you as the reporter. If this code runs extremely early and uses even completely different mapping, it may make sense to disable KASAN instrumentation of this file in Makefile.
