pps_device.h:23:11: error: ‘uint32_t’ does not name a type
../src/tool/pps/pps_device.h:23:11: error: ‘uint32_t’ does not name a type
23 | static uint32_t device_count();
| ^~~~~~~~
../src/tool/pps/pps_device.h:15:1: note: ‘uint32_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
14 | #include <vector>
+++ |+#include <cstdint>
15 |
../src/tool/pps/pps_device.cc:22:10: error: no declaration matches ‘uint32_t pps::DrmDevice::device_count()’
22 | uint32_t DrmDevice::device_count()
| ^~~~~~~~~
../src/tool/pps/pps_device.cc:22:10: note: no functions named ‘uint32_t pps::DrmDevice::device_count()’
../src/tool/pps/pps_device.h:19:7: note: ‘class pps::DrmDevice’ defined here
19 | class DrmDevice
| ^~~~~~~~~