kern/119716: [acpi] vm_fault when trying to boot 7.0 ACPI on HP dc5750

[Pete French]

The following reply was made to PR kern/119716; it has been noted by GNATS.

From: Pete French <petefrench at ticketswitch.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: kern/119716: [acpi] vm_fault when trying to boot 7.0 ACPI on HP dc5750
Date: Tue, 22 Jan 2008 13:23:32 +0000

 With the help of John Baldwin on freebsd-stable I traced this a bit closer.
 Inside madt_probe in /usr/src/sys/i386/acpica/madt.c the code is ttaking the
 second brank of the 'ifi' statement - i.e. the branch which is for non 2.0
 systems. It successfully completes the madt_map_table call, but then
 crashes when ttrying to access the returned data. Printing out the value
 of rsdp->RsdtPhysicalAddress on the retrun gives 0x7fec7f40.