K 10
svn:author
V 2
se
K 8
svn:date
V 27
1995-02-09T20:20:33.000000Z
K 7
svn:log
V 173
Try to detect overlapping PCI memory assignment.
(This can only happen with devices that are mapped
by the BIOS.)

Reviewed by:	se
Submitted by:	wolf (Wolfgang Stanglmeier)

END