On 11/29/2013 11:44 AM, Matthew Garrett wrote: > UEFI time services are often broken once we're in virtual mode. We were > already refusing to use them on 64-bit systems, but it turns out that > they're also broken on some 32-bit firmware, including the Dell Venue. > Disable them for now, we can revisit once we have the 1:1 mappings code > incorporated. > > Signed-off-by: Matthew Garrett <matthew.garrett@xxxxxxxxxx> > Cc: stable@xxxxxxxxxx > --- > arch/x86/platform/efi/efi.c | 7 ------- > 1 file changed, 7 deletions(-) > > diff --git a/arch/x86/platform/efi/efi.c b/arch/x86/platform/efi/efi.c > index 92c0234..cceb813 100644 > --- a/arch/x86/platform/efi/efi.c > +++ b/arch/x86/platform/efi/efi.c > @@ -690,13 +690,6 @@ void __init efi_init(void) > > set_bit(EFI_MEMMAP, &x86_efi_facility); > > -#ifdef CONFIG_X86_32 > - if (efi_is_native()) { > - x86_platform.get_wallclock = efi_get_time; > - x86_platform.set_wallclock = efi_set_rtc_mmss; > - } > -#endif > - Does the Dell Venue have either an ACPI TAD or one of the PNP0B0x devices exposed? -hpa -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html