HDMI_INFOFRAME_HEADER_SIZE
u8 buffer[HDMI_INFOFRAME_HEADER_SIZE + HDMI_AVI_INFOFRAME_SIZE];
u8 buffer[HDMI_INFOFRAME_HEADER_SIZE + HDMI_AVI_INFOFRAME_SIZE];
u8 buffer[HDMI_INFOFRAME_HEADER_SIZE + HDMI_AVI_INFOFRAME_SIZE];
(HDMI_INFOFRAME_HEADER_SIZE + HDMI_ ## type ## _INFOFRAME_SIZE)
ptr += HDMI_INFOFRAME_HEADER_SIZE;
ptr += HDMI_INFOFRAME_HEADER_SIZE;
ptr += HDMI_INFOFRAME_HEADER_SIZE;
ptr += HDMI_INFOFRAME_HEADER_SIZE;
HDMI_INFOFRAME_HEADER_SIZE + length) != 0)
ptr += HDMI_INFOFRAME_HEADER_SIZE;
length = HDMI_INFOFRAME_HEADER_SIZE + frame->length;
ptr += HDMI_INFOFRAME_HEADER_SIZE;
length = HDMI_INFOFRAME_HEADER_SIZE + frame->length;
ptr += HDMI_INFOFRAME_HEADER_SIZE;
length = HDMI_INFOFRAME_HEADER_SIZE + frame->length;
length = HDMI_INFOFRAME_HEADER_SIZE + frame->length;
uint8_t buffer[HDMI_INFOFRAME_HEADER_SIZE + HDMI_AUDIO_INFOFRAME_SIZE];
u8 buffer[HDMI_INFOFRAME_HEADER_SIZE + HDMI_AVI_INFOFRAME_SIZE];