Comment # 22 on bug 1042933 from Thomas Blume

Created attachment 732959 [details]
updated reproducer code

This is the updated testcase.
It reproduced, together with the debug-patched hpwdt module the following
kernel log:
-->
[ 6558.244692] hpwdt: module_layout: kernel tainted.
[ 6558.245833] Disabling lock debugging due to kernel taint
[ 6558.247113] hpwdt: loading out-of-tree module taints kernel.
[ 6558.249887] hpwdt 0000:00:04.0: HPE Watchdog Timer Driver: NMI decoding
initialized, allow kernel dump: ON (default = 1/ON)
[ 6558.252808] hpwdt 0000:00:04.0: HPE Watchdog Timer Driver: 1.4.0, timer
margin: 30 seconds (nowayout=0).
[ 6564.744241] hpwdt: hpwdt_ping: reload: 234, time left: 29
[ 6564.745634] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6564.746701] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6564.747762] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6564.748958] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6565.992981] hpwdt: hpwdt_pretimeout: NMI raised
[ 6569.750270] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6574.751407] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6579.752669] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6584.753859] hpwdt: hpwdt_ping: reload: 78, time left: 9
[ 6589.755076] hpwdt: hpwdt_ping: reload: 78, time left: 9
--<

The machine is a blade from an HP c7000 blade center.
Attaching dmidecode below.