Inicialmente son todos iguales, en el menu del AVR podras personalizar el HDMI (nombre, version HDMI, etc..).
Depende del modelo de AVR que tengas
saludos