2013-03-29 20:05:36 +01:00
|
|
|
warn: add_child('terminal'): child 'terminal' already has parent
|
2011-08-15 03:34:17 +02:00
|
|
|
warn: Sockets disabled, not accepting terminal connections
|
|
|
|
|
warn: Reading current count from inactive timer.
|
|
|
|
|
warn: Sockets disabled, not accepting gdb connections
|
|
|
|
|
warn: Don't know what interrupt to clear for console.
|
2012-07-23 03:31:24 +02:00
|
|
|
warn: x86 cpuid: unknown family 0x8086
|
2011-08-15 03:34:17 +02:00
|
|
|
warn: Tried to clear PCI interrupt 14
|
|
|
|
|
warn: Unknown mouse command 0xe1.
|
|
|
|
|
warn: instruction 'wbinvd' unimplemented
|
|
|
|
|
hack: be nice to actually delete the event here
|
