39 uint64_t avb_be64toh(uint64_t in) {  in avb_be64toh()
41   uint64_t ret;  in avb_be64toh()
42   ret = ((uint64_t)d[0]) << 56;  in avb_be64toh()
43   ret |= ((uint64_t)d[1]) << 48;  in avb_be64toh()
44   ret |= ((uint64_t)d[2]) << 40;  in avb_be64toh()
45   ret |= ((uint64_t)d[3]) << 32;  in avb_be64toh()
46   ret |= ((uint64_t)d[4]) << 24;  in avb_be64toh()
47   ret |= ((uint64_t)d[5]) << 16;  in avb_be64toh()
48   ret |= ((uint64_t)d[6]) << 8;  in avb_be64toh()
49   ret |= ((uint64_t)d[7]);  in avb_be64toh()
67 uint64_t avb_htobe64(uint64_t in) {  in avb_htobe64()
69     uint64_t word;  in avb_htobe64()
103 bool avb_safe_add_to(uint64_t* value, uint64_t value_to_add) {  in avb_safe_add_to()
104   uint64_t original_value;  in avb_safe_add_to()
119 bool avb_safe_add(uint64_t* out_result, uint64_t a, uint64_t b) {  in avb_safe_add()
120   uint64_t dummy;  in avb_safe_add()
177   uint64_t combined_len;  in avb_str_concat()
350   uint64_t total_length;  in avb_strdupv()