Hi Anton,
I tried to boot a kernel with kcov based on GENERIC.MP and the machine
reboots without a peep immediately after
vmm0 at mainbus0: VMX (using slow L1TF mitigation)
Switching off either of kcov or MP results in normally working kernels. I'm
attaching two concatenated dmesgs. The effect is reproducible on real HW
and on GCE VM. Broken config is just:
$ cat /sys/arch/amd64/conf/SYZKALLER
include "arch/amd64/conf/GENERIC.MP"
pseudo-device kcov 1
Disabling either vmm or kcov in broken kernel UKC doesn't prevent crashes.
Thanks
Greg
--
nest.cx is Gmail hosted, use PGP for anything private. Key:
http://goo.gl/6dMsr
Fingerprint: 5E2B 2D0E 1E03 2046 BEC3 4D50 0B15 42BD 8DF5 A1B0
OpenBSD 6.4-current (SYZKALLER) #0: Sun Nov 25 09:45:27 PST 2018
[email protected]:/usr/src/sys/arch/amd64/compile/SYZKALLER
real mem = 4277010432 (4078MB)
avail mem = 4136632320 (3945MB)
mpath0 at root
scsibus0 at mpath0: 256 targets
mainbus0 at root
bios0 at mainbus0: SMBIOS rev. 2.4 @ 0xf0100 (38 entries)
bios0: vendor Award Software International, Inc. version "F10" date 11/07/2008
bios0: Gigabyte Technology Co., Ltd. EP45-DS3L
acpi0 at bios0: rev 0
acpi0: sleep states S0 S1 S4 S5
acpi0: tables DSDT FACP EUDS HPET MCFG APIC SSDT SSDT SSDT SSDT SSDT
acpi0: wakeup devices PEX0(S5) PEX1(S5) PEX2(S5) PEX3(S5) PEX4(S5) PEX5(S5)
HUB0(S5) UAR1(S1) IGBE(S4) USB0(S1) USB1(S1) USB2(S1) USB3(S1) US31(S1)
USB4(S1) USB5(S1) [...]
acpitimer0 at acpi0: 3579545 Hz, 24 bits
acpihpet0 at acpi0: 14318179 Hz
acpimcfg0 at acpi0
acpimcfg0: addr 0xe0000000, bus 0-63
acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel(R) Core(TM)2 Duo CPU E8400 @ 3.00GHz, 3000.09 MHz, 06-17-06
cpu0:
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,NXE,LONG,LAHF,PERF,SENSOR,MELTDOWN
cpu0: 6MB 64b/line 16-way L2 cache
cpu0: smt 0, core 0, package 0
mtrr: Pentium Pro MTRR support, 8 var ranges, 88 fixed ranges
cpu0: apic clock running at 333MHz
cpu0: mwait min=64, max=64, C-substates=0.2.2.2.2, IBE
cpu1 at mainbus0: apid 1 (application processor)
16-way L2 cache
cpu1: smt 0, core 1, package 0
ioapic0 at mainbus0: apid 2 pa 0xfec00000, version 20, 24 pins, remapped
acpiprt0 at acpi0: bus 0 (PCI0)
acpiprt1 at acpi0: bus 2 (PEX0)
acpiprt2 at acpi0: bus -1 (PEX1)
acpiprt3 at acpi0: bus -1 (PEX2)
acpiprt4 at acpi0: bus 3 (PEX3)
acpiprt5 at acpi0: bus 5 (PEX4)
acpiprt6 at acpi0: bus 6 (PEX5)
acpiprt7 at acpi0: bus 7 (HUB0)
acpicpu0 at acpi0: !C3(100@150 io@0x416), !C2(500@1 io@0x414), C1(1000@1 halt),
FVS, 3000, 2000 MHz
acpicpu1 at acpi0: !C3(100@150 io@0x416), !C2(500@1 io@0x414), C1(1000@1 halt),
FVS, 3000, 2000 MHz
acpibtn0 at acpi0: PWRB
acpipci0 at acpi0 PCI0: _OSC failed
acpicmos0 at acpi0
pci0 at mainbus0 bus 0
pchb0 at pci0 dev 0 function 0 "Intel G45 Host" rev 0x02
ppb0 at pci0 dev 1 function 0 "Intel G45 PCIE" rev 0x02: msi
pci1 at ppb0 bus 1
radeondrm0 at pci1 dev 0 function 0 "ATI Radeon Mobility HD 5470" rev 0x00
drm0 at radeondrm0
radeondrm0: msi
azalia0 at pci1 dev 0 function 1 "ATI Radeon HD 5470 Audio" rev 0x00: msi
azalia0: no supported codecs
uhci0 at pci0 dev 26 function 0 "Intel 82801JI USB" rev 0x00: apic 2 int 16
uhci1 at pci0 dev 26 function 1 "Intel 82801JI USB" rev 0x00: apic 2 int 21
uhci2 at pci0 dev 26 function 2 "Intel 82801JI USB" rev 0x00: apic 2 int 18
ehci0 at pci0 dev 26 function 7 "Intel 82801JI USB" rev 0x00: apic 2 int 18
usb0 at ehci0: USB revision 2.0
uhub0 at usb0 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00
addr 1
azalia1 at pci0 dev 27 function 0 "Intel 82801JI HD Audio" rev 0x00: msi
azalia1: codecs: Realtek ALC888
audio0 at azalia1
ppb1 at pci0 dev 28 function 0 "Intel 82801JI PCIE" rev 0x00: msi
pci2 at ppb1 bus 2
ppb2 at pci0 dev 28 function 3 "Intel 82801JI PCIE" rev 0x00: msi
pci3 at ppb2 bus 3
ppb3 at pci3 dev 0 function 0 "PLX PEX 8111" rev 0x21
pci4 at ppb3 bus 4
puc0 at pci4 dev 0 function 0 "NetMos Nm9835" rev 0x01: ports: 15 com, 1 lpt
com4 at puc0 port 0 apic 2 int 19: ns16550a, 16 byte fifo
com5 at puc0 port 1 apic 2 int 19: ns16550a, 16 byte fifo
lpt1 at puc0 port 2 apic 2 int 19
ppb4 at pci0 dev 28 function 4 "Intel 82801JI PCIE" rev 0x00: msi
pci5 at ppb4 bus 5
jmb0 at pci5 dev 0 function 0 "JMicron JMB368 IDE" rev 0x00
pciide0 at jmb0: DMA, channel 0 wired to native-PCI, channel 1 wired to
native-PCI
pciide0: using apic 2 int 16 for native-PCI interrupt
wd0 at pciide0 channel 0 drive 0: <ST3400832A>
wd0: 16-sector PIO, LBA48, 381554MB, 781422768 sectors
wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 5
pciide0: channel 1 disabled (no drives)
ppb5 at pci0 dev 28 function 5 "Intel 82801JI PCIE" rev 0x00: msi
pci6 at ppb5 bus 6
re0 at pci6 dev 0 function 0 "Realtek 8168" rev 0x02: RTL8168C/8111C (0x3c00),
msi, address 00:1f:d0:xx:xx:xx
rgephy0 at re0 phy 7: RTL8169S/8110S/8211 PHY, rev. 2
uhci3 at pci0 dev 29 function 0 "Intel 82801JI USB" rev 0x00: apic 2 int 23
uhci4 at pci0 dev 29 function 1 "Intel 82801JI USB" rev 0x00: apic 2 int 19
uhci5 at pci0 dev 29 function 2 "Intel 82801JI USB" rev 0x00: apic 2 int 18
ehci1 at pci0 dev 29 function 7 "Intel 82801JI USB" rev 0x00: apic 2 int 23
usb1 at ehci1: USB revision 2.0
uhub1 at usb1 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00
addr 1
ppb6 at pci0 dev 30 function 0 "Intel 82801BA Hub-to-PCI" rev 0x90
pci7 at ppb6 bus 7
pcib0 at pci0 dev 31 function 0 "Intel 82801JIB LPC" rev 0x00
pciide1 at pci0 dev 31 function 2 "Intel 82801JI SATA" rev 0x00: DMA, channel 0
configured to native-PCI, channel 1 configured to native-PCI
pciide1: using apic 2 int 19 for native-PCI interrupt
atapiscsi0 at pciide1 channel 0 drive 1
scsibus1 at atapiscsi0: 2 targets
cd0 at scsibus1 targ 0 lun 0: <TSSTcorp, CD/DVDW SH-S183L, SB01> ATAPI 5/cdrom
removable
cd0(pciide1:0:1): using PIO mode 4, Ultra-DMA mode 2
wd1 at pciide1 channel 1 drive 0: <ST31000333AS>
wd1: 16-sector PIO, LBA48, 953868MB, 1953523055 sectors
wd1(pciide1:1:0): using PIO mode 4, Ultra-DMA mode 6
ichiic0 at pci0 dev 31 function 3 "Intel 82801JI SMBus" rev 0x00: apic 2 int 18
iic0 at ichiic0
iic0: addr 0x4e 03=42 04=42 12=ff 13=0f 20=0f 26=03 28=83 29=12 2a=12 2b=28
words 00=0000 01=0000 02=0042 03=4242 04=4200 05=0000 06=0000 07=0000
spdmem0 at iic0 addr 0x50: 2GB DDR2 SDRAM non-parity PC2-6400CL5
spdmem1 at iic0 addr 0x52: 2GB DDR2 SDRAM non-parity PC2-6400CL5
pciide2 at pci0 dev 31 function 5 "Intel 82801JI SATA" rev 0x00: DMA, channel 0
wired to native-PCI, channel 1 wired to native-PCI
pciide2: using apic 2 int 19 for native-PCI interrupt
usb2 at uhci0: USB revision 1.0
uhub2 at usb2 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb3 at uhci1: USB revision 1.0
uhub3 at usb3 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb4 at uhci2: USB revision 1.0
uhub4 at usb4 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb5 at uhci3: USB revision 1.0
uhub5 at usb5 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb6 at uhci4: USB revision 1.0
uhub6 at usb6 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb7 at uhci5: USB revision 1.0
uhub7 at usb7 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
isa0 at pcib0
isadma0 at isa0
com0 at isa0 port 0x3f8/8 irq 4: ns16550a, 16 byte fifo
pckbc0 at isa0 port 0x60/5 irq 1 irq 12
pckbd0 at pckbc0 (kbd slot)
wskbd0 at pckbd0: console keyboard
pcppi0 at isa0 port 0x61
spkr0 at pcppi0
it0 at isa0 port 0x2e/2: IT8718F rev 5, EC port 0x290
vmm0 at mainbus0: VMX (using slow L1TF mitigation)
OpenBSD 6.4-current (SYZKALLER.SP) #0: Sun Nov 25 09:54:04 PST 2018
[email protected]:/usr/src/sys/arch/amd64/compile/SYZKALLER.SP
real mem = 4277010432 (4078MB)
avail mem = 4136751104 (3945MB)
mpath0 at root
scsibus0 at mpath0: 256 targets
mainbus0 at root
bios0 at mainbus0: SMBIOS rev. 2.4 @ 0xf0100 (38 entries)
bios0: vendor Award Software International, Inc. version "F10" date 11/07/2008
bios0: Gigabyte Technology Co., Ltd. EP45-DS3L
acpi0 at bios0: rev 0
acpi0: sleep states S0 S1 S4 S5
acpi0: tables DSDT FACP EUDS HPET MCFG APIC SSDT SSDT SSDT SSDT SSDT
acpi0: wakeup devices PEX0(S5) PEX1(S5) PEX2(S5) PEX3(S5) PEX4(S5) PEX5(S5)
HUB0(S5) UAR1(S1) IGBE(S4) USB0(S1) USB1(S1) USB2(S1) USB3(S1) US31(S1)
USB4(S1) USB5(S1) [...]
acpitimer0 at acpi0: 3579545 Hz, 24 bits
acpihpet0 at acpi0: 14318179 Hz
acpimcfg0 at acpi0
acpimcfg0: addr 0xe0000000, bus 0-63
acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel(R) Core(TM)2 Duo CPU E8400 @ 3.00GHz, 3000.06 MHz, 06-17-06
cpu0:
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,NXE,LONG,LAHF,PERF,SENSOR,MELTDOWN
cpu0: 6MB 64b/line 16-way L2 cache
cpu0: smt 0, core 0, package 0
mtrr: Pentium Pro MTRR support, 8 var ranges, 88 fixed ranges
cpu0: apic clock running at 333MHz
cpu0: mwait min=64, max=64, C-substates=0.2.2.2.2, IBE
cpu at mainbus0: not configured
ioapic0 at mainbus0: apid 2 pa 0xfec00000, version 20, 24 pins, remapped
acpiprt0 at acpi0: bus 0 (PCI0)
acpiprt1 at acpi0: bus 2 (PEX0)
acpiprt2 at acpi0: bus -1 (PEX1)
acpiprt3 at acpi0: bus -1 (PEX2)
acpiprt4 at acpi0: bus 3 (PEX3)
acpiprt5 at acpi0: bus 5 (PEX4)
acpiprt6 at acpi0: bus 6 (PEX5)
acpiprt7 at acpi0: bus 7 (HUB0)
acpicpu0 at acpi0: !C3(100@150 io@0x416), !C2(500@1 io@0x414), C1(1000@1 halt),
FVS, 3000, 2000 MHz
acpibtn0 at acpi0: PWRB
acpipci0 at acpi0 PCI0: _OSC failed
acpicmos0 at acpi0
pci0 at mainbus0 bus 0
pchb0 at pci0 dev 0 function 0 "Intel G45 Host" rev 0x02
ppb0 at pci0 dev 1 function 0 "Intel G45 PCIE" rev 0x02: msi
pci1 at ppb0 bus 1
radeondrm0 at pci1 dev 0 function 0 "ATI Radeon Mobility HD 5470" rev 0x00
drm0 at radeondrm0
radeondrm0: msi
azalia0 at pci1 dev 0 function 1 "ATI Radeon HD 5470 Audio" rev 0x00: msi
azalia0: no supported codecs
uhci0 at pci0 dev 26 function 0 "Intel 82801JI USB" rev 0x00: apic 2 int 16
uhci1 at pci0 dev 26 function 1 "Intel 82801JI USB" rev 0x00: apic 2 int 21
uhci2 at pci0 dev 26 function 2 "Intel 82801JI USB" rev 0x00: apic 2 int 18
ehci0 at pci0 dev 26 function 7 "Intel 82801JI USB" rev 0x00: apic 2 int 18
usb0 at ehci0: USB revision 2.0
uhub0 at usb0 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00
addr 1
azalia1 at pci0 dev 27 function 0 "Intel 82801JI HD Audio" rev 0x00: msi
azalia1: codecs: Realtek ALC888
audio0 at azalia1
ppb1 at pci0 dev 28 function 0 "Intel 82801JI PCIE" rev 0x00: msi
pci2 at ppb1 bus 2
ppb2 at pci0 dev 28 function 3 "Intel 82801JI PCIE" rev 0x00: msi
pci3 at ppb2 bus 3
ppb3 at pci3 dev 0 function 0 "PLX PEX 8111" rev 0x21
pci4 at ppb3 bus 4
puc0 at pci4 dev 0 function 0 "NetMos Nm9835" rev 0x01: ports: 15 com, 1 lpt
com4 at puc0 port 0 apic 2 int 19: ns16550a, 16 byte fifo
com5 at puc0 port 1 apic 2 int 19: ns16550a, 16 byte fifo
lpt1 at puc0 port 2 apic 2 int 19
ppb4 at pci0 dev 28 function 4 "Intel 82801JI PCIE" rev 0x00: msi
pci5 at ppb4 bus 5
jmb0 at pci5 dev 0 function 0 "JMicron JMB368 IDE" rev 0x00
pciide0 at jmb0: DMA, channel 0 wired to native-PCI, channel 1 wired to
native-PCI
pciide0: using apic 2 int 16 for native-PCI interrupt
wd0 at pciide0 channel 0 drive 0: <ST3400832A>
wd0: 16-sector PIO, LBA48, 381554MB, 781422768 sectors
wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 5
pciide0: channel 1 disabled (no drives)
ppb5 at pci0 dev 28 function 5 "Intel 82801JI PCIE" rev 0x00: msi
pci6 at ppb5 bus 6
re0 at pci6 dev 0 function 0 "Realtek 8168" rev 0x02: RTL8168C/8111C (0x3c00),
msi, address 00:1f:d0:xx:xx:xx
rgephy0 at re0 phy 7: RTL8169S/8110S/8211 PHY, rev. 2
uhci3 at pci0 dev 29 function 0 "Intel 82801JI USB" rev 0x00: apic 2 int 23
uhci4 at pci0 dev 29 function 1 "Intel 82801JI USB" rev 0x00: apic 2 int 19
uhci5 at pci0 dev 29 function 2 "Intel 82801JI USB" rev 0x00: apic 2 int 18
ehci1 at pci0 dev 29 function 7 "Intel 82801JI USB" rev 0x00: apic 2 int 23
usb1 at ehci1: USB revision 2.0
uhub1 at usb1 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00
addr 1
ppb6 at pci0 dev 30 function 0 "Intel 82801BA Hub-to-PCI" rev 0x90
pci7 at ppb6 bus 7
pcib0 at pci0 dev 31 function 0 "Intel 82801JIB LPC" rev 0x00
pciide1 at pci0 dev 31 function 2 "Intel 82801JI SATA" rev 0x00: DMA, channel 0
configured to native-PCI, channel 1 configured to native-PCI
pciide1: using apic 2 int 19 for native-PCI interrupt
atapiscsi0 at pciide1 channel 0 drive 1
scsibus1 at atapiscsi0: 2 targets
cd0 at scsibus1 targ 0 lun 0: <TSSTcorp, CD/DVDW SH-S183L, SB01> ATAPI 5/cdrom
removable
cd0(pciide1:0:1): using PIO mode 4, Ultra-DMA mode 2
wd1 at pciide1 channel 1 drive 0: <ST31000333AS>
wd1: 16-sector PIO, LBA48, 953868MB, 1953523055 sectors
wd1(pciide1:1:0): using PIO mode 4, Ultra-DMA mode 6
ichiic0 at pci0 dev 31 function 3 "Intel 82801JI SMBus" rev 0x00: apic 2 int 18
iic0 at ichiic0
iic0: addr 0x4e 03=42 04=42 12=ff 13=0f 20=0f 26=03 28=83 29=12 2a=12 2b=28
words 00=0000 01=0000 02=0042 03=4242 04=4200 05=0000 06=0000 07=0000
spdmem0 at iic0 addr 0x50: 2GB DDR2 SDRAM non-parity PC2-6400CL5
spdmem1 at iic0 addr 0x52: 2GB DDR2 SDRAM non-parity PC2-6400CL5
pciide2 at pci0 dev 31 function 5 "Intel 82801JI SATA" rev 0x00: DMA, channel 0
wired to native-PCI, channel 1 wired to native-PCI
pciide2: using apic 2 int 19 for native-PCI interrupt
usb2 at uhci0: USB revision 1.0
uhub2 at usb2 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb3 at uhci1: USB revision 1.0
uhub3 at usb3 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb4 at uhci2: USB revision 1.0
uhub4 at usb4 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb5 at uhci3: USB revision 1.0
uhub5 at usb5 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb6 at uhci4: USB revision 1.0
uhub6 at usb6 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
usb7 at uhci5: USB revision 1.0
uhub7 at usb7 configuration 1 interface 0 "Intel UHCI root hub" rev 1.00/1.00
addr 1
isa0 at pcib0
isadma0 at isa0
com0 at isa0 port 0x3f8/8 irq 4: ns16550a, 16 byte fifo
pckbc0 at isa0 port 0x60/5 irq 1 irq 12
pckbd0 at pckbc0 (kbd slot)
wskbd0 at pckbd0: console keyboard
pcppi0 at isa0 port 0x61
spkr0 at pcppi0
it0 at isa0 port 0x2e/2: IT8718F rev 5, EC port 0x290
vmm0 at mainbus0: VMX (using slow L1TF mitigation)
uhub8 at uhub3 port 1 configuration 1 interface 0 "ATEN International product
0x8021" rev 1.10/1.00 addr 2
uhidev0 at uhub8 port 1 configuration 1 interface 0 "P.I. Engineering product
0x0007" rev 1.10/3.20 addr 3
uhidev0: iclass 3/1
ukbd0 at uhidev0: 8 variable keys, 6 key codes, country code 33
wskbd1 at ukbd0 mux 1
uhidev1 at uhub8 port 1 configuration 1 interface 1 "P.I. Engineering product
0x0007" rev 1.10/3.20 addr 3
uhidev1: iclass 3/0, 3 report ids
uhid0 at uhidev1 reportid 2: input=1, output=0, feature=0
uhid1 at uhidev1 reportid 3: input=3, output=0, feature=0
uhidev2 at uhub8 port 1 configuration 1 interface 2 "P.I. Engineering product
0x0007" rev 1.10/3.20 addr 3
uhidev2: iclass 3/1
ums0 at uhidev2: 5 buttons, Z dir
wsmouse0 at ums0 mux 0
vscsi0 at root
scsibus2 at vscsi0: 256 targets
softraid0 at root
scsibus3 at softraid0: 256 targets
root on wd1a (7a73cb2477925a6f.a) swap on wd1b dump on wd1b
initializing kernel modesetting (CEDAR 0x1002:0x68E0 0x1682:0x304E).
radeondrm0: 1920x1200, 32bpp
wsdisplay0 at radeondrm0 mux 1: console (std, vt100 emulation), using wskbd0
wskbd1: connecting to wsdisplay0
wsdisplay0: screen 1-5 added (std, vt100 emulation)
