Linus Torvalds writes: (Summary)
In pretty much all cases this is a sign of a nasty BIOS problem,
though, and you may want to look into a firmware update from the
vendor for that.
vendor for that.
But on to the kernel side:
But on to the kernel side:
The code disassembles to
The code disassembles to
0: 83 c9 08 or $0x8,%ecx
3: 40 f6 c6 04 test $0x4,%sil
7: 0f 45 d1 cmovne %ecx,%edx
a: 89 d1 mov %edx,%ecx
c: 80 cd 04 or $0x4,%ch
f: 40 f6 c6 08 test $0x8,%sil
13: 0f 45 d1 cmovne %ecx,%edx
16: 89 d1 mov %edx,%ecx
18: 80 cd 08 or $0x8,%ch
1b: 40 f6 c6 10 test $0x10,%sil
1f: 0f 45 d1 cmovne %ecx,%edx
22: 89 d1 mov %edx,%ecx
24: 80 cd 10 or $0x10,%ch
27: 83 e6 20
vendor for that.
But on to the kernel side:
But on to the kernel side:
[...]
[ 58.963918] IP: vfs_statfs+0x73/0xb0The code disassembles to
The code disassembles to
0: 83 c9 08 or $0x8,%ecx
3: 40 f6 c6 04 test $0x4,%sil
7: 0f 45 d1 cmovne %ecx,%edx
a: 89 d1 mov %edx,%ecx
c: 80 cd 04 or $0x4,%ch
f: 40 f6 c6 08 test $0x8,%sil
13: 0f 45 d1 cmovne %ecx,%edx
16: 89 d1 mov %edx,%ecx
18: 80 cd 08 or $0x8,%ch
1b: 40 f6 c6 10 test $0x10,%sil
1f: 0f 45 d1 cmovne %ecx,%edx
22: 89 d1 mov %edx,%ecx
24: 80 cd 10 or $0x10,%ch
27: 83 e6 20