Re: [BUG] can't boot up: unable to handle kernel paging request at ffffffffff340003

Rafael J. Wysocki
2014-02-12T00:00:44Z

On Tuesday, February 11, 2014 02:18:46 PM Matt Fleming wrote:
> (Entering the realm of ACPI, pulling in more folks)
>
> On Tue, 11 Feb, at 09:47:57PM, Madper Xie wrote:
> > Thanks for your reply. I attached the all the dmesg outputs for you.
> > [ 0.000000] ACPI: BGRT 00000000d9bb5100 00003C (v00 HPQOEM SLIC-BPC 01072009 AMI 00010013)
>
> Your BGRT table has an extra 4 bytes for some reason, (0x3C should be
> 0x38) and doesn't match the defintion in include/acpi/actbl3.h,
>
>
> struct acpi_table_bgrt {
> struct acpi_table_header header; /* Common ACPI table header */
> u16 version;
> u8 status;
> u8 image_type;
> u64 image_address;
> u32 image_offset_x;
> u32 image_offset_y;
> };
>
>
> which explains why when we dereference ->image_address we don't get a
> sensible value.
>
> Guys, what do you make of this? Firmware bug? Full thread here,
>
> http://article.gmane.org/gmane.linux.kernel.efi/3499

Firmware bug, but I guess we'll need to work around it.

Adding more CCs.

Thanks!

--
I speak only for myself.
Rafael J. Wysocki, Intel Open Source Technology Center.