Linux: add GPU meter and process column

Based on the DRM client usage stats[1] add statistics for GPU time spend
and percentage utilization.

[1]: https://www.kernel.org/doc/html/latest/gpu/drm-usage-stats.html

1 files changed, 10 insertions, 0 deletions

diff --git a/linux/LinuxMachine.c b/linux/LinuxMachine.c
index ff2b605a..626ca97f 100644
--- a/linux/LinuxMachine.c
+++ b/linux/LinuxMachine.c
@@ -681,7 +681,17 @@ Machine* Machine_new(UsersTable* usersTable, uid_t userId) {
 
 void Machine_delete(Machine* super) {
    LinuxMachine* this = (LinuxMachine*) super;
+   GPUEngineData* gpuEngineData = this->gpuEngineData;
+
    Machine_done(super);
+
+   while (gpuEngineData) {
+      GPUEngineData* next = gpuEngineData->next;
+      free(gpuEngineData->key);
+      free(gpuEngineData);
+      gpuEngineData = next;
+   }
+
    free(this->cpuData);
    free(this);
 }