rendered paste bodyIn the IVTV portion of dmesg --
cx8800: Unknown symbol cx88_reset
[ 40.148733] cx8800: Unknown symbol cx88_call_i2c_clients
[ 40.148757] cx8800: Unknown symbol cx88_wakeup
[ 40.148838] cx8800: Unknown symbol cx88_risc_stopper
[ 40.148893] cx8800: Unknown symbol cx88_print_irqbits
[ 40.148916] cx8800: Unknown symbol cx88_set_scale
[ 40.148949] cx8800: Unknown symbol cx88_shutdown
[ 40.148995] cx8800: Unknown symbol cx88_vdev_init
[ 40.149053] cx8800: Unknown symbol cx88_core_put
[ 40.149091] cx8800: Unknown symbol cx88_audio_thread
[ 40.149137] cx8800: Unknown symbol cx88_core_irq
[ 40.149170] cx8800: Unknown symbol cx88_core_get
[ 40.149193] cx8800: Unknown symbol cx88_get_stereo
[ 40.149265] cx8800: Unknown symbol cx88_set_tvnorm
[ 40.149357] cx8800: Unknown symbol cx88_risc_buffer
[ 40.149460] cx8800: Unknown symbol cx88_set_stereo
[ 40.149570] cx8800: Unknown symbol cx88_sram_channels
[ 40.149616] cx8800: Unknown symbol cx88_set_tvaudio
[ 40.149639] cx8800: Unknown symbol cx88_sram_channel_dump
[ 40.149674] cx8800: Unknown symbol cx88_sram_channel_setup
[ 40.149724] cx8800: Unknown symbol cx88_free_buffer
[ 40.149746] cx8800: Unknown symbol cx88_boards
[ 40.149903] cx8800: Unknown symbol cx88_newstation
[ 40.157566] cx2388x cx88-mpeg Driver Manager version 0.0.6 loaded
Immediately following "END INIT IVTV"
[ 67.350068] CORE cx88[0]: subsystem: 7063:3000, board: pcHDTV HD3000 HDTV [card=22,autodetected]
[ 67.350073] TV tuner 60 at 0x1fe, Radio tuner -1 at 0x1fe
[ 67.474586] tuner 5-0043: chip found @ 0x86 (cx88[0])
[ 67.474622] tda9887 5-0043: tda988[5/6/7] found @ 0x43 (tuner)
[ 67.476854] tuner 5-0061: chip found @ 0xc2 (cx88[0])
[ 67.476880] tuner 5-0061: type set to 60 (Thomson DTT 761X (ATSC/NTSC))
[ 67.476883] tuner 5-0061: type set to 60 (Thomson DTT 761X (ATSC/NTSC))
[ 67.519618] cx88[0]/2: cx2388x 8802 Driver Manager
[ 67.519635] ACPI: PCI Interrupt 0000:01:09.2[A] -> Link [APC4] -> GSI 19 (level, low) -> IRQ 19
[ 67.519644] cx88[0]/2: found at 0000:01:09.2, rev: 5, irq: 19, latency: 32, mmio: 0xe8000000
[ 67.643274] lp0: using parport0 (interrupt-driven).
[ 67.726825] ivtv0-fb: Framebuffer at 0xd1510000, mapped to 0xffffc20001690000, size 1665k
[ 67.804225] ivtv0-fb: === Validated display mode ===
[ 67.804229] ivtv0-fb: Display size 640x400 (640x400 Virtual) @ 8bpp
[ 67.804231] ivtv0-fb: Display position 41,41
[ 67.804232] ivtv0-fb: Display filter : on
[ 67.804233] ivtv0-fb: Color space : RGB
[ 67.803828] Console: switching to colour frame buffer device 80x25
[ 67.830172] ivtv0-fb: === Display mode change ===
[ 67.830175] ivtv0-fb: Display size 640x400 (640x400 Virtual) @ 8bpp
[ 67.830177] ivtv0-fb: Display position 41,41
[ 67.830178] ivtv0-fb: Display filter : on
[ 67.830179] ivtv0-fb: Color space : RGB
[ 67.854082] ivtv0-fb: Framebuffer registered on ivtv card id 0
[ 67.890648] lirc_dev: IR Remote Control driver registered, at major 61
[ 67.897639] lirc_i2c: no version for "lirc_unregister_plugin" found: kernel tainted.
[ 67.933517] bttv: driver version 0.9.16 loaded
[ 67.933521] bttv: using 8 buffers with 2080k (520 pages) each for capture
[ 67.967427] cx2388x v4l2 driver version 0.0.6 loaded
[ 67.967470] ACPI: PCI Interrupt 0000:01:09.0[A] -> Link [APC4] -> GSI 19 (level, low) -> IRQ 19
[ 67.967479] cx88[0]/0: found at 0000:01:09.0, rev: 5, irq: 19, latency: 32, mmio: 0xe7000000
[ 67.971961] cx88[0]/0: registered device video5 [v4l2]
[ 67.971986] cx88[0]/0: registered device vbi5
[ 67.972004] cx88[0]/0: registered device radio2