KEY_RED
[KEY_CALENDAR] = "Calendar", [KEY_RED] = "Red",
case 0x05b: gy_map_key_clear(KEY_RED); break;
case 0x069: map_key_clear(KEY_RED); break;
case 0x04a: ts_map_key_clear(KEY_RED); break;
case 0x051: lg_map_key_clear(KEY_RED); break;
case 0x05b: pl_map_key_clear(KEY_RED); break;
[0x81] = KEY_RED,
case 0x05b: ts_map_key_clear(KEY_RED); break;
KEY_RED,
[0x1a] = KEY_RED,
{ 0x03, KEY_RED }, /* 1 */
{ 0x081d, KEY_RED },
{ 0x080b, KEY_RED }, /* red */
{ 0x35, KEY_RED }, /* Red/TV */
{ 0x2e, KEY_RED }, /* 'red' */
{ 0x0443, KEY_RED },
{ 0x021d, KEY_RED },
{ 0x0443, KEY_RED },
{ 0x2e, KEY_RED }, /* RED */
{ 0x6e, KEY_RED },
{ 0x0018, KEY_RED },
{ 0x866b1f, KEY_RED }, /*XXX KEY_AUDIO */
{ 0x0b, KEY_RED },
{ 0x72, KEY_RED }, /* CEC Spec: F2 (Red) */
{ 0x17, KEY_RED },
{ 0x4048, KEY_RED },
{ 0x450f, KEY_RED },
{ 0x1e0b, KEY_RED },
{ 0xeb17, KEY_RED },
{ 0x000e, KEY_RED }, /* [red] Videos */
{ 0x56, KEY_RED },
{ 0x321f, KEY_RED },
{ 0x341f, KEY_RED },
{ 0x59, KEY_RED }, /* AP1 */
{ 0x49, KEY_RED },
{ 0x1f0b, KEY_RED }, /* red button */
{ 0x001e, KEY_RED }, /* Reserved */
{ 0x1e0b, KEY_RED }, /* red button */
{ 0x0000009b, KEY_RED},
{ 0x800ff466, KEY_RED },
{ 0x800ff45b, KEY_RED },
{ 0x3c, KEY_RED }, /* || (red) */
{ 0x61d61c, KEY_RED },
{ 0x1c, KEY_RED},
{ 0x7076c, KEY_RED},
{ 0x611c, KEY_RED },
{ 0x18, KEY_RED}, /* B */
{ 0x18, KEY_RED}, /* B */
{ 0x034b, KEY_RED },
{ 0x42, KEY_RED },
{ 0x42, KEY_RED },
{ 0x32, KEY_RED }, /* also Audio */
{ 0x32, KEY_RED },
{ 0x32, KEY_RED }, /* red */
{ 0x61d61c, KEY_RED },
{ 0x001f, KEY_RED },
{ 0x04eb17, KEY_RED},
{ 0x1417, KEY_RED},
{ 0x48, KEY_RED },
{ 0x2e, KEY_RED },
{ 0x800f045b, KEY_RED },
{ 0x1514, KEY_RED },
{ 0x28e0, KEY_RED },
{ 0x1e, KEY_RED }, /* OSD */
{ 0x8009, KEY_RED },
{0x14, KEY_RED},
{0x0a6b, KEY_RED},
{ 0x28, KEY_RED},
{ 0x28, KEY_RED},
{ 0x17, KEY_RED},
{ 0x1514, KEY_RED },
{ 0x27, KEY_RED},
{ 0x18, KEY_RED },
{ 0x19, KEY_RED },
{ 0x42, KEY_RED },
{ 0x5e5f73, KEY_RED },
{ 0x2b, KEY_RED },
{KEY_RED, 0x800f7425},
{ 0x0417, KEY_RED },
{ 0x8004, KEY_RED },
{ 0xaf6a, KEY_RED },
{ 0x18, KEY_RED }, /* Red */
{ 0x1e0b, KEY_RED },
KEY_RED,