From f9ea032b7d7638ca2d4ebbe1e34ceef480047482 Mon Sep 17 00:00:00 2001
From: Quantum <thomasmuller336@gmail.com>
Date: Sun, 31 Jul 2022 21:32:11 -0400
Subject: [PATCH] Kernel/OpenSBI: Switched to stdint.h

Not sure when I started typing cstdint but for now I want to stick to
stdint.h
---
 kernel/drivers/opensbi/extensions/legacy.cpp     | 2 +-
 kernel/drivers/opensbi/include/opensbi/opensbi.h | 2 +-
 kernel/kernel.cpp                                | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/kernel/drivers/opensbi/extensions/legacy.cpp b/kernel/drivers/opensbi/extensions/legacy.cpp
index c77c82b..c1fbbbe 100644
--- a/kernel/drivers/opensbi/extensions/legacy.cpp
+++ b/kernel/drivers/opensbi/extensions/legacy.cpp
@@ -21,7 +21,7 @@ namespace opensbi::legacy {
         };
     }
 
-    SbiRet set_timer(std::uint64_t stime_value) {
+    SbiRet set_timer(uint64_t stime_value) {
 #if __riscv_xlen == 64
         return ecall(
             static_cast<sbiword_t>(ExtensionId::SET_TIMER),
diff --git a/kernel/drivers/opensbi/include/opensbi/opensbi.h b/kernel/drivers/opensbi/include/opensbi/opensbi.h
index c23b9a5..d1ac790 100644
--- a/kernel/drivers/opensbi/include/opensbi/opensbi.h
+++ b/kernel/drivers/opensbi/include/opensbi/opensbi.h
@@ -1,6 +1,6 @@
 #pragma once
 
-#include <cstdint>
+#include <stdint.h>
 
 namespace drivers {
 namespace opensbi {
diff --git a/kernel/kernel.cpp b/kernel/kernel.cpp
index 8f42945..e97959e 100644
--- a/kernel/kernel.cpp
+++ b/kernel/kernel.cpp
@@ -1,5 +1,5 @@
 #include <stdarg.h>
-#include <inttypes.h>
+#include <stdint.h>
 
 #include <dtb/dtb.h>