Messages in this thread | | | From | "Rafael J. Wysocki" <> | Subject | Re: [BUG] can't boot up: unable to handle kernel paging request at ffffffffff340003 | Date | Wed, 12 Feb 2014 01:00:44 +0100 |
| |
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.
| |