h1harness: loaded (CTASSERT layout proof passed)
=== H2 (DF-4765) bArnMember==1 -> div/0 ===
H2: real RAID-1 array, bArnMember=1 rf_verifying=1
H2: entering hpt_copy_array_info -> ksprintf div/0


Fatal trap 18: integer divide fault while in kernel mode
cpuid = 1; lapic id = 1
instruction pointer	= 0x8:0xffffffff82600237
stack pointer	        = 0x10:0xfffff801180746e8
frame pointer	        = 0x10:0xfffff80118074728
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 975
current thread          = pri 6 
kernel: type 18 trap, code=0

CPU1 stopping CPUs: 0x0000003d
 stopped
Stopped at      hpt_copy_array_info.constprop.3+0x187:  divq    %rdi,%eax
db>