--- services/device/public/cpp/generic_sensor/sensor_reading.h.orig	2023-11-03 10:09:45 UTC
+++ services/device/public/cpp/generic_sensor/sensor_reading.h
@@ -8,6 +8,8 @@
 #include <stddef.h>
 #include <stdint.h>
 
+#include <cstdint>
+
 #include <type_traits>
 
 namespace device {