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,
 petefrench at ticketswitch.com
Cc:  
Subject: Re: kern/119716: [acpi] vm_fault when trying to boot 7.0 ACPI on HP dc5750
Date: Wed, 6 Feb 2008 01:07:21 +0000

 This has been found and fixed by John Baldwin. See the patch in the  
 mailing list post:
 
 http://lists.freebsd.org/pipermail/freebsd-stable/2008-January/ 
 040077.html