From 810ff80ba7c425f021bcfda972345595a85b803c Mon Sep 17 00:00:00 2001
From: Romain Vimont <rom@rom1v.com>
Date: Sun, 15 Sep 2019 16:58:14 +0200
Subject: [PATCH] Add buffer_write64be()

Add a function to write 64 bits in big-endian from a uint64_t.
---
 app/src/buffer_util.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/app/src/buffer_util.h b/app/src/buffer_util.h
index 681421f3..262df1dc 100644
--- a/app/src/buffer_util.h
+++ b/app/src/buffer_util.h
@@ -20,6 +20,12 @@ buffer_write32be(uint8_t *buf, uint32_t value) {
     buf[3] = value;
 }
 
+static inline void
+buffer_write64be(uint8_t *buf, uint64_t value) {
+    buffer_write32be(buf, value >> 32);
+    buffer_write32be(&buf[4], (uint32_t) value);
+}
+
 static inline uint16_t
 buffer_read16be(const uint8_t *buf) {
     return (buf[0] << 8) | buf[1];