Re: Kernel panic with openbsd 6.2

Could it be related to: https://newsroom.intel.com/news/root-cause-of-reboot-issue-identified-updated-guidance-for-customers-and-partners/

?

> Sent: Friday, January 19, 2018 at 9:50 PM
> From: "Mik J" <mikydevel@yahoo.fr>
> To: Misc <misc@openbsd.org>
> Subject: Kernel panic with openbsd 6.2
>
> Hello,
>
> I had many kernel panic these past days. This is a 6.2 openbsd VM running on esxi 5.5
>
> I took screenshots then followed
> https://www.openbsd.org/ddb.html
>
> # objdump -dlr /sys/arch/amd64/compile/GENERIC.MP/obj/if_vmx.o > /tmp/if_vmx.dis
>
> # grep "<vmxnet3_getbuf>" /tmp/if_vmx.dis
>     10f6:       e8 d5 00 00 00          callq  11d0 <vmxnet3_getbuf>
>     1176:       e8 55 00 00 00          callq  11d0 <vmxnet3_getbuf>
> 00000000000011d0 <vmxnet3_getbuf>:
>     1857:       e8 74 f9 ff ff          callq  11d0 <vmxnet3_getbuf>
>
> # grep -n 10f6 /tmp/if_vmx.dis
> 1667:    10f6:  e8 d5 00 00 00          callq  11d0 <vmxnet3_getbuf>
>
> # grep "<vmxnet3_getbuf>:" /tmp/if_vmx.dis
> 00000000000011d0 <vmxnet3_getbuf>:
>
> # printf '%x\n' $((0x11d0 + 0x263))
> 1433
>
> vi /tmp/if_vmx.dis
>    2040     1433:       ba 01 00 00 00          mov    $0x1,%edx
> I find is on line 2040
>
> => But the file is only 1251 line long
> nl -ba /sys/dev/pci/if_vmx.c | sed -n 2040p
>
> => So that last command gives me nothing
>
> Do you have an idea of what mistake I did so that I can make a report ?
>
> Thank you
>
>