dtls1_get_queue_priority
(unsigned short)dtls1_get_queue_priority(
seq64be[6] = (unsigned char)(dtls1_get_queue_priority(
seq64be[7] = (unsigned char)(dtls1_get_queue_priority(
int dtls1_get_queue_priority(unsigned short seq, int is_ccs);