+ // reserved: 0x0E, 0x0F
+ CEC_USER_CONTROL_CODE_TOP_MENU = 0x10,
+ CEC_USER_CONTROL_CODE_DVD_MENU = 0x11,
+ // reserved: 0x12 ... 0x1C
+ CEC_USER_CONTROL_CODE_NUMBER_ENTRY_MODE = 0x1D,
+ CEC_USER_CONTROL_CODE_NUMBER11 = 0x1E,
+ CEC_USER_CONTROL_CODE_NUMBER12 = 0x1F,