#ifndef DL_PKTS_H
#define DL_PKTS_H

#include <stdint.h>
void dl3_empty_packet(uint8_t *buf, int *len);
void dl3_msg2_hdr(uint8_t *buf, int *len_p, int hdr_num,
		  uint16_t val1, uint16_t val2);
void dl3_packet_hdcp_ake_init(uint8_t *buf, int *len_p, const uint8_t *Rtx);
void dl3_packet_hdcp_ake_no_stored_km(uint8_t *buf, int *len_p, const uint8_t *ekpubkm);
void dl3_packet_hdcp_lc_init(uint8_t *buf, int *len_p, const uint8_t *Rn);
void dl3_packet_hdcp_ske_send_eks(uint8_t *buf, int *len_p, const uint8_t *edkey_ks, const uint8_t *riv);
void dl3_packet_send_enc_data(uint8_t *buf, int *len_p, const uint8_t *enc_data);
#define ROUND_TO_4(x) ((((x) + 3) / 4) * 4)
#endif