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

[Parfait Tokponnon]

Hello,
I commented out the reset_addr line without success. It triggers a page
fault at another address.
Applying the patch reveals the following about the 'FACP' table structure
just before the page fault

> [init -> drivers -> acpi_drv] Warning: attach memory - 0x3feff000+0x1000,
> Loop_base 0x7feff000, IO base 1073741824
> [init -> drivers -> acpi_drv] table mapped 'FACP' at 0xbfefff80 (from
> 0x7fefff80) size 0x74

page fault, pd='init -> drivers -> acpi_drv' thread='ep' cpu=0 ip=0x10126a3
> address=0xbff00000 stack pointer=0x401fbba0 qualifiers=0x4 irUwp reason=1
>
If I replace

> memory.map_region(base, _table->size);
>
by

> memory.map_region(base, _table->size+0xe); // To force the mapping of
> 0x80000000
>
in acpi.cc, it works fine.
But I don't think this is a good way to fix the issue.
Any idea?
@Christian,
Yes I'am working with the 20.05 version.
Please, find attached the related log files.

Le mer. 8 juil. 2020 à 16:39, Alexander Boettcher <
alexander.boettcher at genode-labs.com> a écrit :

> On 08.07.20 14:54, Alexander Botcher wrote:
> > On 07.07.20 21:40, Parfait Tokponnon wrote:
> >>
> >> 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>();
> >>> }
>
> Reading again the Fadt structure documentation, I noticed that the reset
> fields are supported for ACPI 2.0+. If only a ACPI 1.x structure is
> provided, we should not read the values. I think depending on the ACPI
> version we should not read the values.
>
> Since the reset values are not used anywhere in the code, you could just
> comment out the 3 lines and you should get further.
>
> Cheers,
>
> 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
>


-- 
Parfait T.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200709/0edff188/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: size.log
Type: text/x-log
Size: 3643 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20200709/0edff188/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: size+0xe.log
Type: text/x-log
Size: 61201 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20200709/0edff188/attachment-0003.bin>