XXX nobios

*** 30,39 ****
--- 30,40 ----
  #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,84 ****
--- 76,92 ----
  
          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;