diff options
| author | Stefan Eßer <se@FreeBSD.org> | 1996-10-14 13:04:34 +0000 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 1996-10-14 13:04:34 +0000 |
| commit | b86a81e4489eb37d1de636beb9b2de0c0fd11b12 (patch) | |
| tree | 9e9fb4c0b6fb8e574aba3d226e5b994ba1bf0e4c /sys | |
| parent | bd4739cb126e4da5c8ab52bd16f55a45bb2f8064 (diff) | |
Notes
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/dev/pci/pci.c | 6 | ||||
| -rw-r--r-- | sys/pci/pci.c | 6 |
2 files changed, 8 insertions, 4 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index e7d6f3dfab5f..472e5a5b88ba 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -1,6 +1,6 @@ /************************************************************************** ** -** $Id: pci.c,v 1.54 1996/09/06 23:08:58 phk Exp $ +** $Id: pci.c,v 1.55 1996/09/10 23:30:59 bde Exp $ ** ** General subroutines for the PCI bus. ** pci_configure () @@ -1051,7 +1051,9 @@ int pci_map_mem (pcici_t tag, u_long reg, vm_offset_t* va, vm_offset_t* pa) ** check the type */ - if ((data & PCI_MAP_MEMORY_TYPE_MASK) != PCI_MAP_MEMORY_TYPE_32BIT) { + if (!((data & PCI_MAP_MEMORY_TYPE_MASK) == PCI_MAP_MEMORY_TYPE_32BIT_1M + && (paddr & ~0xfffff) == 0) + && (data & PCI_MAP_MEMORY_TYPE_MASK) != PCI_MAP_MEMORY_TYPE_32BIT){ printf ("pci_map_mem failed: bad memory type=0x%x\n", (unsigned) data); return (0); diff --git a/sys/pci/pci.c b/sys/pci/pci.c index e7d6f3dfab5f..472e5a5b88ba 100644 --- a/sys/pci/pci.c +++ b/sys/pci/pci.c @@ -1,6 +1,6 @@ /************************************************************************** ** -** $Id: pci.c,v 1.54 1996/09/06 23:08:58 phk Exp $ +** $Id: pci.c,v 1.55 1996/09/10 23:30:59 bde Exp $ ** ** General subroutines for the PCI bus. ** pci_configure () @@ -1051,7 +1051,9 @@ int pci_map_mem (pcici_t tag, u_long reg, vm_offset_t* va, vm_offset_t* pa) ** check the type */ - if ((data & PCI_MAP_MEMORY_TYPE_MASK) != PCI_MAP_MEMORY_TYPE_32BIT) { + if (!((data & PCI_MAP_MEMORY_TYPE_MASK) == PCI_MAP_MEMORY_TYPE_32BIT_1M + && (paddr & ~0xfffff) == 0) + && (data & PCI_MAP_MEMORY_TYPE_MASK) != PCI_MAP_MEMORY_TYPE_32BIT){ printf ("pci_map_mem failed: bad memory type=0x%x\n", (unsigned) data); return (0); |