pci: read_byte(00.00.0, 003d) = 00
pci: read_byte(00.01.0, 003d) = 00
pci: read_byte(00.01.1, 003d) = 00
pci: read_byte(00.01.3, 003d) = 01
pci: read_byte(00.01.0, 0078) = 02
lai: link device resource #0 points to gsi 2
pci: read_byte(00.01.0, 0060) = 0a
lai: link device resource #0 points to gsi 10
pci: read_byte(00.01.0, 0068) = 00
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0070) = 80
lai: link device resource #0 points to gsi 0
lai: link device resource #0 points to gsi 9
pci: routing irq for device 00.01.3 succeeded. routed to gsi 9
pci: read_byte(00.02.0, 003d) = 00
pci: read_byte(00.03.0, 003d) = 01
pci: read_byte(00.01.0, 0078) = 02
lai: link device resource #0 points to gsi 2
pci: read_byte(00.01.0, 0060) = 0a
lai: link device resource #0 points to gsi 10
pci: read_byte(00.01.0, 0068) = 00
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0070) = 80
lai: link device resource #0 points to gsi 0
lai: link device resource #0 points to gsi 9
pci: read_byte(00.01.0, 0068) = 00
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0070) = 80
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0078) = 02
lai: link device resource #0 points to gsi 2
pci: read_byte(00.01.0, 0068) = 00
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0070) = 80
lai: link device resource #0 points to gsi 0
pci: read_byte(00.01.0, 0078) = 02
lai: link device resource #0 points to gsi 2
pci: read_byte(00.01.0, 0060) = 0a
lai: link device resource #0 points to gsi 10
pci: read_byte(00.01.0, 0070) = 80
lai: link device resource #0 points to gsi 0
pci: routing irq for device 00.03.0 succeeded. routed to gsi 0