0000000000000458 <tuner_6mhz_uhf_dvbt>:
 458:   15 47 13 20 23          adc    $0x23201347,%eax
 45d:   03 0f                   add    (%rdi),%ecx
 45f:   bc 06 00 15 47          mov    $0x47150006,%esp

0000000000000462 <tuner_6mhz_vh_dvbt>:
 462:   15 47 13 20 23          adc    $0x23201347,%eax
 467:   03 0f                   add    (%rdi),%ecx
 469:   bb 06 00 15 4a          mov    $0x4a150006,%ebx

000000000000046c <tuner_7mhz_uhf_dvbt>:
 46c:   15 4a 13 31 23          adc    $0x2331134a,%eax
 471:   01 0f                   add    %ecx,(%rdi)
 473:   bc 06 00 15 4a          mov    $0x4a150006,%esp

0000000000000476 <tuner_7mhz_vh_dvbt>:
 476:   15 4a 13 31 23          adc    $0x2331134a,%eax
 47b:   01 0f                   add    %ecx,(%rdi)
 47d:   bb 06 00 15 53          mov    $0x53150006,%ebx

0000000000000480 <tuner_8mhz_uhf_dvbt>:
 480:   15 53 13 22 23          adc    $0x23221353,%eax
 485:   01 0f                   add    %ecx,(%rdi)
 487:   bc 06 00 15 53          mov    $0x53150006,%esp

000000000000048a <tuner_8mhz_vh_dvbt>:
 48a:   15 53 13 22 23          adc    $0x23221353,%eax
 48f:   01 0f                   add    %ecx,(%rdi)
 491:   bb 06 00 00 00          mov    $0x6,%ebx