(XEN) number of MP IRQ sources: 15.
(XEN) number of IO-APIC #8 registers: 24.
(XEN) testing the IO APIC.......................
(XEN) IO APIC #8......
(XEN) .... register #00: 08000000
(XEN) .......    : physical APIC id: 08
(XEN) .......    : Delivery Type: 0
(XEN) .......    : LTS          : 0
(XEN) .... register #01: 00170020
(XEN) .......     : max redirection entries: 0017
(XEN) .......     : PRQ implemented: 0
(XEN) .......     : IO APIC version: 0020
(XEN) .... IRQ redirection table:
(XEN)  NR Log Phy Mask Trig IRR Pol Stat Dest Deli Vect:   
(XEN)  00 000 00  1    0    0   0   0    0    0    00
(XEN)  01 004 04  0    0    0   0   0    1    1    A8
(XEN)  02 001 01  0    0    0   0   0    1    1    F0
(XEN)  03 0FF 0F  1    0    0   0   0    1    1    38
(XEN)  04 0FF 0F  1    0    0   0   0    1    1    40
(XEN)  05 001 01  0    0    0   0   0    1    1    F1
(XEN)  06 004 04  0    0    0   0   0    1    1    D8
(XEN)  07 001 01  0    0    0   0   0    1    1    50
(XEN)  08 004 04  0    0    0   0   0    1    1    B0
(XEN)  09 001 01  0    1    0   0   0    1    1    60
(XEN)  0a 001 01  0    0    0   0   0    1    1    68
(XEN)  0b 001 01  0    0    0   0   0    1    1    70
(XEN)  0c 010 00  0    0    0   0   0    1    1    A0
(XEN)  0d 0FF 0F  1    0    0   0   0    1    1    88
(XEN)  0e 001 01  0    0    0   0   0    1    1    90
(XEN)  0f 001 01  0    0    0   0   0    1    1    98
(XEN)  10 004 04  0    1    0   1   0    1    1    B8
(XEN)  11 000 00  1    0    0   0   0    0    0    00
(XEN)  12 004 04  0    1    0   1   0    1    1    21
(XEN)  13 004 04  0    1    0   1   0    1    1    31
(XEN)  14 016 06  1    0    0   0   0    0    2    43
(XEN)  15 004 04  0    1    0   1   0    1    1    41
(XEN)  16 04E 0E  1    0    0   0   0    0    2    43
(XEN)  17 004 04  0    1    0   1   0    1    1    29
(XEN) Using vector-based indexing
(XEN) IRQ to pin mappings:
(XEN) IRQ240 -> 0:2
(XEN) IRQ168 -> 0:1
(XEN) IRQ56 -> 0:3
(XEN) IRQ64 -> 0:4
(XEN) IRQ241 -> 0:5
(XEN) IRQ216 -> 0:6
(XEN) IRQ80 -> 0:7
(XEN) IRQ176 -> 0:8
(XEN) IRQ96 -> 0:9
(XEN) IRQ104 -> 0:10
(XEN) IRQ112 -> 0:11
(XEN) IRQ160 -> 0:12
(XEN) IRQ136 -> 0:13
(XEN) IRQ144 -> 0:14
(XEN) IRQ152 -> 0:15
(XEN) IRQ184 -> 0:16
(XEN) IRQ33 -> 0:18
(XEN) IRQ49 -> 0:19
(XEN) IRQ65 -> 0:21
(XEN) IRQ41 -> 0:23