40 static inline int dtls_int_to_uint8(unsigned char *field, uint8_t value)  in dtls_int_to_uint8()  argument
42   field[0] = value & 0xff;  in dtls_int_to_uint8()
46 static inline int dtls_int_to_uint16(unsigned char *field, uint16_t value)  in dtls_int_to_uint16()  argument
48   field[0] = (value >> 8) & 0xff;  in dtls_int_to_uint16()
49   field[1] = value & 0xff;  in dtls_int_to_uint16()
53 static inline int dtls_int_to_uint24(unsigned char *field, uint32_t value)  in dtls_int_to_uint24()  argument
55   field[0] = (value >> 16) & 0xff;  in dtls_int_to_uint24()
56   field[1] = (value >> 8) & 0xff;  in dtls_int_to_uint24()
57   field[2] = value & 0xff;  in dtls_int_to_uint24()
61 static inline int dtls_int_to_uint32(unsigned char *field, uint32_t value)  in dtls_int_to_uint32()  argument
63   field[0] = (value >> 24) & 0xff;  in dtls_int_to_uint32()
64   field[1] = (value >> 16) & 0xff;  in dtls_int_to_uint32()
65   field[2] = (value >> 8) & 0xff;  in dtls_int_to_uint32()
66   field[3] = value & 0xff;  in dtls_int_to_uint32()
70 static inline int dtls_int_to_uint48(unsigned char *field, uint64_t value)  in dtls_int_to_uint48()  argument
72   field[0] = (value >> 40) & 0xff;  in dtls_int_to_uint48()
73   field[1] = (value >> 32) & 0xff;  in dtls_int_to_uint48()
74   field[2] = (value >> 24) & 0xff;  in dtls_int_to_uint48()
75   field[3] = (value >> 16) & 0xff;  in dtls_int_to_uint48()
76   field[4] = (value >> 8) & 0xff;  in dtls_int_to_uint48()
77   field[5] = value & 0xff;  in dtls_int_to_uint48()
81 static inline int dtls_int_to_uint64(unsigned char *field, uint64_t value)  in dtls_int_to_uint64()  argument
83   field[0] = (value >> 56) & 0xff;  in dtls_int_to_uint64()
84   field[1] = (value >> 48) & 0xff;  in dtls_int_to_uint64()
85   field[2] = (value >> 40) & 0xff;  in dtls_int_to_uint64()
86   field[3] = (value >> 32) & 0xff;  in dtls_int_to_uint64()
87   field[4] = (value >> 24) & 0xff;  in dtls_int_to_uint64()
88   field[5] = (value >> 16) & 0xff;  in dtls_int_to_uint64()
89   field[6] = (value >> 8) & 0xff;  in dtls_int_to_uint64()
90   field[7] = value & 0xff;  in dtls_int_to_uint64()