h1harness: loaded (CTASSERT layout proof passed)
=== H1 (DF-4764) type confusion -> div/0 ===
H1: punned disk fields seen by hpt_copy_array_info:
H1:   bArnMember     = df_on_line    = 1
H1:   rf_broken      = bit16(dDeRealCapacity) = 0
H1:   rf_rebuilding  = bit21(dDeRealCapacity) = 1
H1:   rf_verifying   = bit22(dDeRealCapacity) = 1
H1:   pMember[0]     = Device.mv    = 0xffffffff82607140
H1: entering hpt_get_info loop -> goto is_array(disk)


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

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