[SOL Session operational.  Use ~? for help]
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) *** Serial input -> Xen (type 'CTRL-a' three times to switch input to DOM0)
(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 040 00  0    0    0   0   0    1    1    49
(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 001 01  0    0    0   0   0    1    1    48
(XEN)  07 001 01  0    0    0   0   0    1    1    50
(XEN)  08 001 01  0    0    0   0   0    1    1    58
(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 040 00  0    0    0   0   0    1    1    41
(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 001 01  0    1    0   1   0    1    1    A0
(XEN)  11 000 00  1    0    0   0   0    0    0    00
(XEN)  12 001 01  0    1    0   1   0    1    1    C0
(XEN)  13 040 00  0    1    0   1   0    1    1    D0
(XEN)  14 016 06  1    0    0   0   0    0    2    43
(XEN)  15 001 01  0    1    0   1   0    1    1    39
(XEN)  16 04E 0E  1    0    0   0   0    0    2    43
(XEN)  17 001 01  0    1    0   1   0    1    1    C8
(XEN) Using vector-based indexing
(XEN) IRQ to pin mappings:
(XEN) IRQ240 -> 0:2
(XEN) IRQ73 -> 0:1
(XEN) IRQ56 -> 0:3
(XEN) IRQ64 -> 0:4
(XEN) IRQ241 -> 0:5
(XEN) IRQ72 -> 0:6
(XEN) IRQ80 -> 0:7
(XEN) IRQ88 -> 0:8
(XEN) IRQ96 -> 0:9
(XEN) IRQ104 -> 0:10
(XEN) IRQ112 -> 0:11
(XEN) IRQ65 -> 0:12
(XEN) IRQ136 -> 0:13
(XEN) IRQ144 -> 0:14
(XEN) IRQ152 -> 0:15
(XEN) IRQ160 -> 0:16
(XEN) IRQ192 -> 0:18
(XEN) IRQ208 -> 0:19
(XEN) IRQ57 -> 0:21
(XEN) IRQ200 -> 0:23