XXX nobios

@@ -30,10 +30,11 @@
 #include <sys/pci_cfgspace.h>
 #include <sys/pci_cfgspace_impl.h>
 #include <sys/memlist.h>
 #include <sys/bootconf.h>
 #include <sys/psw.h>
+#include <sys/machsystm.h>
 
 /*
  * pci irq routing information table
  */
 int                             pci_irq_nroutes;

@@ -75,10 +76,17 @@
 
         if (nneededp)
                 *nneededp = 0;
 
         /*
+         * If this system does not support BIOS calls, we can't use this
+         * mechanism.
+         */
+        if (!bios_calls_available)
+                return (0);
+
+        /*
          * Set up irq routing header with the size and address
          * of some useable low-memory data addresses.  Initalize
          * data area to zero, avoiding memcpy/bzero.
          */
         hdrp = (uchar_t *)BIOS_IRQ_ROUTING_HDR;