diff options
Diffstat (limited to 'sys/dev/pci/vga_pci.c')
| -rw-r--r-- | sys/dev/pci/vga_pci.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/dev/pci/vga_pci.c b/sys/dev/pci/vga_pci.c index 46f3250..7083582 100644 --- a/sys/dev/pci/vga_pci.c +++ b/sys/dev/pci/vga_pci.c @@ -43,7 +43,7 @@ __FBSDID("$FreeBSD$"); #include <sys/sysctl.h> #include <sys/systm.h> -#if defined(__amd64__) || defined(__i386__) || defined(__ia64__) +#if defined(__amd64__) || defined(__i386__) #include <vm/vm.h> #include <vm/pmap.h> #endif @@ -137,7 +137,7 @@ vga_pci_map_bios(device_t dev, size_t *size) int rid; struct resource *res; -#if defined(__amd64__) || defined(__i386__) || defined(__ia64__) +#if defined(__amd64__) || defined(__i386__) if (vga_pci_is_boot_display(dev)) { /* * On x86, the System BIOS copy the default display @@ -173,7 +173,7 @@ vga_pci_unmap_bios(device_t dev, void *bios) return; } -#if defined(__amd64__) || defined(__i386__) || defined(__ia64__) +#if defined(__amd64__) || defined(__i386__) if (vga_pci_is_boot_display(dev)) { /* We mapped the BIOS shadow copy located at 0xC0000. */ pmap_unmapdev((vm_offset_t)bios, VGA_PCI_BIOS_SHADOW_SIZE); |
