chore: add a pre-cast to uint32_t to remove warning

guest/console/console_pv.c

@@ -3,6 +3,7 @@
 #include "guest/utils.h"
 #include "guest/pmio.h"
 #include "shared/hypercall_params.h"
+#include <stdint.h>
 
 // --- DEFINE ---
 
@@ -13,7 +14,7 @@
 void console_pv_send(char *str) {
 
     hyper_virtual_console_params_t param_console;
-    param_console.msg = (uint64_t)str;
+    param_console.msg = (uint64_t)((uint32_t)str);
     memcpy((void *)HYPERCALL_SHARED_ADDR, (void *)&param_console, sizeof(param_console));
 
     outb(HYPERCALL_PMIO_ADDR, HYPERCALL_CODE_CONSOLE);

guest/ide/ide_pv.c

@@ -3,6 +3,7 @@
 #include "guest/pmio.h"
 #include "guest/utils.h"
 #include "shared/hypercall_params.h"
+#include <stdint.h>
 
 // --- DEFINE ---
 
@@ -14,7 +15,7 @@ void ide_pv_write_sector(uint32_t sector_idx, void *data) {
 
     hyper_ide_params_t param_ide;
     param_ide.sector_idx = sector_idx;
-    param_ide.data = (uint64_t)data;
+    param_ide.data = (uint64_t)((uint32_t)data);
     memcpy((void *)HYPERCALL_SHARED_ADDR, (void *)&param_ide, sizeof(param_ide));
 
     outb(HYPERCALL_PMIO_ADDR, HYPERCALL_CODE_IDE);