pci_set_hw_interrupt(D3hpci)

pci_set_hw_interrupt -- set the IRQ for a PCI device

Synopsis

   #include <sys/types.h>
   #include <sys/hpci.h>
   #include <sys/hpci_bios.h>
   #include <sys/ddi.h>
   
   int pci_set_hw_interrupt(rm_key_t hpci, uchar_t bus, uchar_t devfun,
                  uchar_t ipin, uchar_t irqnum);

Description

pci_set_hw_interrupt( ) sets the specified interrupt pin for the specified device with the IRQ number given.

Arguments

hpci

resource manager key for this instance of the hot plug controller.

bus

bus on which the device is located.

devfun

device/function number as defined in the PCI BIOS specification. This is defined as:

   (device << 3) | (function)

ipin

interrupt pin for which the IRQ will be set.

irqnum

IRQ number to set.

Return values

This function returns values as per corresponding 2.1 PCI BIOS calls.

Usage

Before calling this function, the HPCD must ensure that the IRQ being assigned does not cause a conflict with previously configured drivers.

Context and synchronization

Blockable context

Hardware applicability

All

Version applicability

hpci: 1

References

pci_get_irq_routing_options(D3hpci), pci_irqrouting_entry(D4hpci)

``Hotplug devices'' in HDK Technical Reference
``PCI'' in HDK Technical Reference