Hi!

On an AMD machine with 16 CPUs and 8GB RAM,  I get a panic triggered by an 
ASSERT in NetBSD/Xen-amd64 Dom0:

(XEN) 3... 2... 1... 
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to 
Xen)
(XEN) Freed 116kB init memory.
Loaded initial symtab at 0xffffffff80b571dc, strtab at 0xffffffff80be68f8, # 
entries 24372
Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
    2006, 2007, 2008
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights reserved.

NetBSD 4.99.52 (XEN3_DOM0) #1: Fri Feb  1 17:16:39 CET 2008
        
root@tulln.amd.com:/netbsd32/usr/src/current/sys/arch/amd64/compile/XEN3_DOM0
total memory = 512 MB
avail memory = 480 MB
SMBIOS rev. 2.4 @ 0xf0910 (73 entries)
mainbus0 (root)
pmap_kenter_pa: pa 0x0 for va 0xffffa00023dee000 outside range
pmap_kenter_pa: pa 0x9d000 for va 0xffffa00023dee000 outside range
mainbus0: scanning 0x9dc00 to 0x9dff0 for MP signature
pmap_kenter_pa: pa 0x87000 for va 0xffffa00023dee000 outside range
mainbus0: scanning 0x87c00 to 0x87ff0 for MP signature
pmap_kenter_pa: pa 0xf0000 for va 0xffffa00023dee000 outside range
pmap_kenter_pa: pa 0xf1000 for va 0xffffa00023def000 outside range
pmap_kenter_pa: pa 0xf2000 for va 0xffffa00023df0000 outside range
pmap_kenter_pa: pa 0xf3000 for va 0xffffa00023df1000 outside range
pmap_kenter_pa: pa 0xf4000 for va 0xffffa00023df2000 outside range
pmap_kenter_pa: pa 0xf5000 for va 0xffffa00023df3000 outside range
pmap_kenter_pa: pa 0xf6000 for va 0xffffa00023df4000 outside range
pmap_kenter_pa: pa 0xf7000 for va 0xffffa00023df5000 outside range
pmap_kenter_pa: pa 0xf8000 for va 0xffffa00023df6000 outside range
pmap_kenter_pa: pa 0xf9000 for va 0xffffa00023df7000 outside range
pmap_kenter_pa: pa 0xfa000 for va 0xffffa00023df8000 outside range
pmap_kenter_pa: pa 0xfb000 for va 0xffffa00023df9000 outside range
pmap_kenter_pa: pa 0xfc000 for va 0xffffa00023dfa000 outside range
pmap_kenter_pa: pa 0xfd000 for va 0xffffa00023dfb000 outside range
pmap_kenter_pa: pa 0xfe000 for va 0xffffa00023dfc000 outside range
pmap_kenter_pa: pa 0xff000 for va 0xffffa00023dfd000 outside range
mainbus0: scanning 0xf0000 to 0xffff0 for MP signature
pmap_kenter_pa: pa 0xf8000 for va 0xffffa00023dee000 outside range
mainbus0: MP floating pointer found in bios at 0xf8380
pmap_kenter_pa: pa 0x9e000 for va 0xffffa00023def000 outside range
pmap_kenter_pa: pa 0x9e000 for va 0xffffa00023def000 outside range
mainbus0: MP config table at 0x9e271, 748 bytes long
cpu0 at mainbus0 apid 4: (application processor)
cpu1 at mainbus0 apid 5: (application processor)
cpu2 at mainbus0 apid 6: (application processor)
cpu3 at mainbus0 apid 7: (application processor)
cpu4 at mainbus0 apid 8: (application processor)
cpu5 at mainbus0 apid 9: (application processor)
cpu6 at mainbus0 apid 10: (application processor)
cpu7 at mainbus0 apid 11: (application processor)
cpu8 at mainbus0 apid 12: (application processor)
cpu9 at mainbus0 apid 13: (application processor)
cpu10 at mainbus0 apid 14: (application processor)
cpu11 at mainbus0 apid 15: (application processor)
cpu12 at mainbus0 apid 16: (application processor)
cpu13 at mainbus0 apid 17: (application processor)
cpu14 at mainbus0 apid 18: (application processor)
cpu15 at mainbus0 apid 19: (application processor)
ioapic0 at mainbus0 apid 0, virtual wire mode
(XEN) io_apic.c:2133: 
(XEN) ioapic_guest_write: apic=0, pin=2, old_irq=0, new_irq=-1
(XEN) ioapic_guest_write: old_entry=000000f0, new_entry=00010000
(XEN) ioapic_guest_write: Attempt to remove IO-APIC pin of in-use IRQ!
(XEN) io_apic.c:2133: 
(XEN) ioapic_guest_write: apic=0, pin=4, old_irq=4, new_irq=-1
(XEN) ioapic_guest_write: old_entry=000000f1, new_entry=00010000
(XEN) ioapic_guest_write: Attempt to remove IO-APIC pin of in-use IRQ!
ioapic1 at mainbus0 apid 1, virtual wire mode
ioapic2 at mainbus0 apid 2, virtual wire mode
hypervisor0 at mainbus0
vcpu0 at hypervisor0: (uniprocessor)
vcpu0: AMD Engineering Sample, 1592.43 MHz
vcpu0: 8 page colors
xenbus0 at hypervisor0: Xen Virtual Bus Interface
xencons0 at hypervisor0: Xen Virtual Console Driver
acpi0 at hypervisor0: Advanced Configuration and Power Interface
mpacpi: found root PCI bus 0 at level 1
mpacpi: found subordinate bus 1 at level 2
mpacpi: found subordinate bus 2 at level 3
mpacpi: found subordinate bus 3 at level 2
mpacpi: found subordinate bus 4 at level 2
mpacpi: found subordinate bus 5 at level 2
mpacpi: found subordinate bus 6 at level 2
mpacpi: found subordinate bus 7 at level 2
mpacpi: found root PCI bus 128 at level 1
mpacpi: found subordinate bus 129 at level 2
mpacpi: found subordinate bus 130 at level 2
mpacpi: found subordinate bus 131 at level 2
mpacpi: found subordinate bus 132 at level 2
mpacpi: found subordinate bus 133 at level 2
mpacpi: 14 PCI busses
mpacpi: ISA interrupt override 0 -> 2 (1/1)
mpacpi: configuring PCI bus 0 int routing
acpi_pci_link: WARNING: powerhook_establish is deprecated
mpacpi: configuring PCI bus 1 int routing
acpi_pci_link: WARNING: powerhook_establish is deprecated
mpacpi: configuring PCI bus 2 int routing
mpacpi: configuring PCI bus 3 int routing
mpacpi: configuring PCI bus 4 int routing
mpacpi: configuring PCI bus 5 int routing
mpacpi: configuring PCI bus 6 int routing
mpacpi: configuring PCI bus 7 int routing
mpacpi: configuring PCI bus 128 int routing
mpacpi: configuring PCI bus 129 int routing
mpacpi: configuring PCI bus 130 int routing
mpacpi: configuring PCI bus 131 int routing
mpacpi: configuring PCI bus 132 int routing
mpacpi: configuring PCI bus 133 int routing
ioapic0: pin 2 attached to isa0 irq 0 (type 0<type=0> flags 5<pol=1=Act 
Hi,trig=1=Edge>)
ioapic0: pin 1 attached to isa0 irq 1 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 3 attached to isa0 irq 3 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 4 attached to isa0 irq 4 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 5 attached to isa0 irq 5 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 6 attached to isa0 irq 6 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 7 attached to isa0 irq 7 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 8 attached to isa0 irq 8 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 9 attached to isa0 irq 9 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 10 attached to isa0 irq 10 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 11 attached to isa0 irq 11 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 12 attached to isa0 irq 12 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 13 attached to isa0 irq 13 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 14 attached to isa0 irq 14 (type 0<type=0> flags 0<pol=0,trig=0>)
ioapic0: pin 15 attached to isa0 irq 15 (type 0<type=0> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
local apic: pin 1 attached to NMI (type 1<type=1=NMI> flags 0<pol=0,trig=0>)
linkdev LNKU attached to pci0 device 3 INT_A (type 0<type=0> flags f<pol=3=Act 
Lo,trig=3=Level>)
linkdev LNKU attached to pci0 device 3 INT_B (type 0<type=0> flags f<pol=3=Act 
Lo,trig=3=Level>)
linkdev LNKU attached to pci0 device 3 INT_C (type 0<type=0> flags f<pol=3=Act 
Lo,trig=3=Level>)
linkdev LNKU attached to pci0 device 3 INT_D (type 0<type=0> flags f<pol=3=Act 
Lo,trig=3=Level>)
ioapic1: pin 0 attached to pci0 device 4 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 4 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 0 attached to pci0 device 4 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 4 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 5 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 5 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 5 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 1 attached to pci0 device 5 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 6 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 6 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 6 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 6 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 7 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 7 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 7 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 7 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 8 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 8 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 8 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 8 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 9 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 9 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 9 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 9 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 10 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 10 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 10 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci0 device 10 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
linkdev LNKS attached to pci1 device 14 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
linkdev LNKS attached to pci1 device 14 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
linkdev LNKS attached to pci1 device 14 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
linkdev LNKS attached to pci1 device 14 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 2 attached to pci2 device 4 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 3 attached to pci2 device 4 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 4 attached to pci2 device 4 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 5 attached to pci2 device 4 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci3 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci3 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci3 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 6 attached to pci3 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 7 attached to pci4 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 7 attached to pci4 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 7 attached to pci4 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 7 attached to pci4 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci5 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci5 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci5 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci5 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci6 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci6 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci6 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 9 attached to pci6 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 10 attached to pci7 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 10 attached to pci7 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 10 attached to pci7 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic1: pin 10 attached to pci7 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 6 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 6 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 6 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 6 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 7 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 7 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 7 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 7 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 8 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 8 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 8 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 8 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 9 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 9 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 9 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 9 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 10 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 10 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 10 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci128 device 10 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci129 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci129 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci129 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 6 attached to pci129 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 7 attached to pci130 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 7 attached to pci130 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 7 attached to pci130 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 7 attached to pci130 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 8 attached to pci131 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 8 attached to pci131 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 8 attached to pci131 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 8 attached to pci131 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 9 attached to pci132 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 9 attached to pci132 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 9 attached to pci132 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 9 attached to pci132 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 10 attached to pci133 device 0 INT_A (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 10 attached to pci133 device 0 INT_B (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 10 attached to pci133 device 0 INT_C (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic2: pin 10 attached to pci133 device 0 INT_D (type 0<type=0> flags 
f<pol=3=Act Lo,trig=3=Level>)
ioapic0: int9 1a098<vector=98,delmode=0,actlo,level,masked,dest=0> 
4000000<target=4>
ACPI-Safe 32-bit timer
C000 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C001 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C002 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C003 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C004 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C005 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C006 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C007 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C008 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C009 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00A (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00B (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00C (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00D (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00E (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
C00F (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
LNKU (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LNKS (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LN06 (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LN0A (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LN16 (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LN19 (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
LN1A (PNP0C0F) [PCI interrupt link device] at acpi0 not configured
HPET (PNP0103) [HPET Timer] at acpi0 not configured
PCI0 (PNP0A03) [PCI/PCI-X Host Bridge] at acpi0 not configured
KBC (PNP0303) [IBM Enhanced (101/102-key, PS/2 mouse support)] at acpi0 not 
configured
DMAA (PNP0200) [AT DMA Controller] at acpi0 not configured
RTC (PNP0B00) [AT Real-Time Clock] at acpi0 not configured
PIC (PNP0000) [AT Interrupt Controller] at acpi0 not configured
FPU (PNP0C04) [Math Coprocessor] at acpi0 not configured
TMR (PNP0100) [AT Timer] at acpi0 not configured
SPKR (PNP0800) [AT-style speaker sound] at acpi0 not configured
MOUE (PNP0F13) [PS/2 Port for PS/2-style Mice] at acpi0 not configured
SYSB (PNP0003) [APIC] at acpi0 not configured
PCBR (PNP0C02) [Plug and Play motherboard register resources] at acpi0 not 
configured
SIO (PNP0A05) [Generic Container Device] at acpi0 not configured
COM1 (PNP0501) [16550A-compatible COM port] at acpi0 not configured
COM2 (PNP0501) [16550A-compatible COM port] at acpi0 not configured
FDC0 (PNP0700) [PC standard floppy disk controller] at acpi0 not configured
TPM (IFX0102) at acpi0 not configured
PCI1 (PNP0A03) [PCI/PCI-X Host Bridge] at acpi0 not configured
pci0 at hypervisor0 bus 0: configuration mode 1hypervisor0: added to list as 
bus 0

ppb0 at pci0 dev 1 function 0: vendor 0x1166 product 0x0036 (rev. 0x00)
pci1 at ppb0 bus 1ppb0: added to list as bus 1

ppb1 at pci1 dev 13 function 0: vendor 0x1166 product 0x0104 (rev. 0xc0)
pci2 at ppb1 bus 2ppb1: added to list as bus 2

svwsata0 at pci1 dev 14 function 0
svwsata0: ServerWorks HT-1000 SATA Controller (rev. 0x00)
: DMA
linkdev LNKS returned ACPI global int 5
ioapic0: int5 1a0a0<vector=a0,delmode=0,actlo,level,masked,dest=0> 
4000000<target=4>
svwsata0: using ioapic0 pin 5, event channel 4 for native-PCI interrupt
atabus0 at svwsata0 channel 0
atabus1 at svwsata0 channel 1
atabus2 at svwsata0 channel 2
atabus3 at svwsata0 channel 3
svwsata1 at pci1 dev 14 function 1
svwsata1: ServerWorks HT-1000 SATA Controller (rev. 0x00)

pchb0 at pci0 dev 2 function 0
pchb0: vendor 0x1166 product 0x0205 (rev. 0x00)
rccide0 at pci0 dev 2 function 1
rccide0: ServerWorks HT-1000 IDE Controller (rev. 0x00)
ioapic0: int14 a8<vector=a8,delmode=0,dest=0> 4000000<target=4>
rccide0: primary channel interrupting at ioapic0 pin 14, event channel 5
atabus4 at rccide0 channel 0
ioapic0: int15 b0<vector=b0,delmode=0,dest=0> 4000000<target=4>
rccide0: secondary channel interrupting at ioapic0 pin 15, event channel 6
atabus5 at rccide0 channel 1
pcib0 at pci0 dev 2 function 2
pcib0: vendor 0x1166 product 0x0234 (rev. 0x00)
ohci0 at pci0 dev 3 function 0: vendor 0x1166 product 0x0223 (rev. 0x01)
linkdev LNKU returned ACPI global int 5
ohci0: interrupting at ioapic0 pin 5, event channel 4
ohci0: OHCI version 1.0, legacy support
usb0 at ohci0: USB revision 1.0
uhub0 at usb0
uhub0: vendor 0x1166 OHCI root hub, class 9/0, rev 1.00/1.00, addr 1
ohci1 at pci0 dev 3 function 1: vendor 0x1166 product 0x0223 (rev. 0x01)
linkdev LNKU returned ACPI global int 5
ohci1: interrupting at ioapic0 pin 5, event channel 4
ohci1: OHCI version 1.0, legacy support
usb1 at ohci1: USB revision 1.0
uhub1 at usb1
uhub1: vendor 0x1166 OHCI root hub, class 9/0, rev 1.00/1.00, addr 1
ehci0 at pci0 dev 3 function 2: vendor 0x1166 product 0x0223 (rev. 0x01)
linkdev LNKU returned ACPI global int 5
ehci0: interrupting at ioapic0 pin 5, event channel 4
ehci0: companion controllers, 2 ports each: ohci0 ohci1
usb2 at ehci0: USB revision 2.0
uhub2 at usb2
uhub2: vendor 0x1166 EHCI root hub, class 9/0, rev 2.00/1.00, addr 1
vga0 at pci0 dev 5 function 0: vendor 0x1002 product 0x5159 (rev. 0x00)
wsdisplay0 at vga0 kbdmux 1
direct rendering for vga0 unsupported
ppb2 at pci0 dev 6 function 0: vendor 0x1166 product 0x0140 (rev. 0xa2)
pci3 at ppb2 bus 3ppb2: added to list as bus 3

ppb3 at pci0 dev 7 function 0: vendor 0x1166 product 0x0142 (rev. 0xa2)
pci4 at ppb3 bus 4ppb3: added to list as bus 4

ppb4 at pci0 dev 8 function 0: vendor 0x1166 product 0x0144 (rev. 0xa2)
pci5 at ppb4 bus 5ppb4: added to list as bus 5

ppb5 at pci0 dev 9 function 0: vendor 0x1166 product 0x0142 (rev. 0xa2)
pci6 at ppb5 bus 6ppb5: added to list as bus 6

ppb6 at pci0 dev 10 function 0: vendor 0x1166 product 0x0144 (rev. 0xa2)
pci7 at ppb6 bus 7ppb6: added to list as bus 7

ppb7 at pci7 dev 0 function 0: vendor 0x1166 product 0x0103 (rev. 0xc2)
ppb7: disabling notification events
pci8 at ppb7 bus 8ppb7: added to list as bus 8

bnx0 at pci8 dev 0 function 0: Broadcom NetXtreme II BCM5708 1000Base-T
ioapic1: int10 1a0b8<vector=b8,delmode=0,actlo,level,masked,dest=0> 
4000000<target=4>
panic: kernel diagnostic assertion "(reg & 0x3) == 0" failed: 
file "../../../../arch/x86/pci/pci_machdep.c", line 379
Stopped in pid 0.1 (system) at  netbsd:breakpoint+0x1:  ret
breakpoint() at netbsd:breakpoint+0x1
__kernassert() at netbsd:__kernassert+0x2d
pci_conf_read() at netbsd:pci_conf_read+0x131
bnx_chipinit() at netbsd:bnx_chipinit+0x1c9
bnx_attach() at netbsd:bnx_attach+0x2ce
config_attach_loc() at netbsd:config_attach_loc+0x13d
pci_probe_device() at netbsd:pci_probe_device+0x273
pci_enumerate_bus() at netbsd:pci_enumerate_bus+0x146
pcirescan() at netbsd:pcirescan+0x3a
pciattach() at netbsd:pciattach+0x1b0
config_attach_loc() at netbsd:config_attach_loc+0x13d
ppbattach() at netbsd:ppbattach+0x14d
config_attach_loc() at netbsd:config_attach_loc+0x13d
pci_probe_device() at netbsd:pci_probe_device+0x273
pci_enumerate_bus() at netbsd:pci_enumerate_bus+0x146
pcirescan() at netbsd:pcirescan+0x3a
pciattach() at netbsd:pciattach+0x1b0
config_attach_loc() at netbsd:config_attach_loc+0x13d
ppbattach() at netbsd:ppbattach+0x14d
config_attach_loc() at netbsd:config_attach_loc+0x13d
pci_probe_device() at netbsd:pci_probe_device+0x273
pci_enumerate_bus() at netbsd:pci_enumerate_bus+0x146
pcirescan() at netbsd:pcirescan+0x3a
pciattach() at netbsd:pciattach+0x1b0
config_attach_loc() at netbsd:config_attach_loc+0x13d
hypervisor_attach() at netbsd:hypervisor_attach+0x106
config_attach_loc() at netbsd:config_attach_loc+0x13d
mainbus_attach() at netbsd:mainbus_attach+0x61
config_attach_loc() at netbsd:config_attach_loc+0x13d
cpu_configure() at netbsd:cpu_configure+0x25
configure() at netbsd:configure+0x3b
main() at netbsd:main+0x185
ds          0x7
es          0xe66c
fs          0x2e0
gs          0xe73f
rdi         0
rsi         0xdeadbeef
rbp         0xffffffff80d56350
rbx         0x1
rdx         0
rcx         0
rax         0x1
r8          0xffffffff80d56170
r9          0
r10         0xffffffff80d56170
r11         0xffffffff804d8400  xenconscn_putc
r12         0x100
r13         0xffffffff809202e0
r14         0
r15         0xffffa00001253300
rip         0xffffffff8049e8c1  breakpoint+0x1
cs          0xe030
rflags      0x246
rsp         0xffffffff80d56258
ss          0xe02b
netbsd:breakpoint+0x1:  ret
db>