https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=192082
Bug ID: 192082
Summary: [FreeBSD10 on Hyper-v] Panic at boot with kernel built
with INVARIANTS & WITNESS
Product: Base System
Version: 10.0-RELEASE
Hardware: amd64
OS: Any
Status: Needs Triage
Severity: Affects Some People
Priority: ---
Component: kern
Assignee: [email protected]
Reporter: [email protected]
Firstly, we reproduced this issue by following below steps. Furthermore, we
uninstalled FreeBSD Integration Service driver which is to provide synthetic
driver in FreeBSD VM running on Hyper-v, we still could reproduce this issue.
1. Boot vm on WS2012 R2
2. Download FreeBSD 10.0 source code
3. add following config into sys/amd64/conf/GENERIC
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
4. build and install kernel
5. reboot
6. panic:
Timecounter "Hyper-V" frequency 10000000 Hz quality 10000000
panic: mtx_lock_spin: recursed on non-recursive mutex cnputs_mtx @
/usr/src/sys/kern/kern_cons.c:500
cpuid = 0
KDB: stack backtrace:
#0 0xffffffff808e1b10 at kdb_backtrace+0x60
#1 0xffffffff808aa786 at vpanic+0x126
#2 0xffffffff808aa656 at kassert_panic+0x136
#3 0xffffffff80896936 at __mtx_lock_spin_flags+0x166
#4 0xffffffff80862bd2 at cnputs+0x32
#5 0xffffffff808e6eca at putchar+0x13a
#6 0xffffffff808e5c5a at kvprintf+0xda
#7 0xffffffff808e74e7 at vprintf+0x87
#8 0xffffffff808e7453 at printf+0x43
#9 0xffffffff808fa6c9 at witness_checkorder+0xa99
#10 0xffffffff80896865 at __mtx_lock_spin_flags+0x95
#11 0xffffffff80722b9b at uart_cnputc+0x3b
#12 0xffffffff8086295f at cnputc+0x7f
#13 0xffffffff80862bf8 at cnputs+0x58
#14 0xffffffff808e6eca at putchar+0x13a
#15 0xffffffff808e5c5a at kvprintf+0xda
#16 0xffffffff808e74e7 at vprintf+0x87
#17 0xffffffff808e7453 at printf+0x43
Note: If adding options WITNESS_SKIPSPIN when building kernel, the panic will
not occur
--
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"