pid 1031 (df5580_ubsan), uid 0: exited on signal 6 (core dumped)
df5580: loaded, kernel __udivti3 harness ready
df5580fix: loaded, patched-source harness ready
Try to kill process 1438 df5580_kldtest
 8    1 0xffffffff82600000     1000 df5580.ko
 9    1 0xffffffff82601000     1000 df5580fix.ko