+ case CEC_USER_CONTROL_CODE_TOP_MENU:
+ return "top menu";
+ case CEC_USER_CONTROL_CODE_DVD_MENU:
+ return "dvd menu";
+ case CEC_USER_CONTROL_CODE_NUMBER_ENTRY_MODE:
+ return "number entry mode";
+ case CEC_USER_CONTROL_CODE_NUMBER11:
+ return "11";
+ case CEC_USER_CONTROL_CODE_NUMBER12:
+ return "12";