Crash on Windriver Simics : page fault, pd='init -> drivers -> acpi_drv' thread='ep'

[Alexander Boettcher]

Hello,

On 07.07.20 21:40, Parfait Tokponnon wrote:
> Hello,
> I want to run Genode on Windriver Simics
> <https://www.windriver.com/products/simics/>.
> I've just created a disk image with the demo scenario from a freshly cloned
> Genode.
> It crashes with the following error.
> 
>> page fault, pd='init -> drivers -> acpi_drv' thread='ep' cpu=0
>> ip=0x1011062 address=0xbff00000 stack pointer=0x401fbbc0 qualifiers=0x4
>> irUwp reason=1

it looks like that not all memory is mapped for parsing the table.

> 
> The IP:0x1010ab2 resolves to
> /home/parfait/git/genode20.05/repos/os/src/drivers/acpi/acpi.cc:254 where I
> can read following :
> 
> Fadt(addr_t a) : Genode::Mmio(a)
>> {
>> features    = read<Fadt::Feature_flags>();
>> reset_type  = read<Fadt::Reset_reg_type>();
>> 254     reset_addr  = read<Fadt::Reset_reg_addr>();
>> reset_value = read<Fadt::Reset_value>();
>> }
>>
> It seems like there is an issue with the parsing of the acpi table,
> especially the FADT.

I would suggest to set the 'verbose' variable to 'true' within the code. Additionally, I would suggest to monitor the memory ranges which get attached during parsing all the tables.

Attached patch gives you some output alike:

Genode 20.05-83-g75f3012ade <local changes>
471 MiB RAM and 63253 caps assigned to init
[init -> test-pci] --- Platform test started ---
[init -> acpi_drv] Warning: attach memory - 0x1ffe2000+0x1000
[init -> acpi_drv] table mapped 'RSDT' at 0x9ffe20b8 (from 0x1ffe20b8) size 0x34
[init -> acpi_drv] Warning: attach memory - 0x1ffe1000+0x1000
[init -> acpi_drv] table mapped 'FACP' at 0x9ffe1ed8 (from 0x1ffe1ed8) size 0xf4
[init -> acpi_drv] Warning: attach memory - 0x1ffe0000+0x1000
[init -> acpi_drv] Warning: attach memory - 0x1ffe0000+0x2000
[init -> acpi_drv] table mapped 'DSDT' at 0x9ffe0040 (from 0x1ffe0040) size 0x1e98

The attached memory ranges should comprise the whole table, e.g for FADT/FACP of interest is:

[init -> acpi_drv] Warning: attach memory - 0x1ffe1000+0x1000
[init -> acpi_drv] table mapped 'FACP' at 0x9ffe1ed8 (from 0x1ffe1ed8) size 0xf4

If for your FACP/FADT table not the whole memory is mapped, you will have to look into
repos/os/src/drivers/acpi/memory.h to understand and fix the issue.

Hope it helps,

Alex.

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
-------------- next part --------------
A non-text attachment was scrubbed...
Name: acpi_debug.patch
Type: text/x-patch
Size: 915 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20200708/93ba3345/attachment.bin>