thomas/QTechOS
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Kernel/OpenSBI: Switched to stdint.h

Browse source 
Not sure when I started typing cstdint but for now I want to stick to
stdint.h
This commit is contained in:
Thomas Muller 2022-07-31 21:32:11 -04:00
parent 44bfd9c4fb
commit f9ea032b7d
Signed by: thomas
GPG key ID: AF006EB730564952
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
kernel/drivers/opensbi/extensions/legacy.cpp
View file

@ -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 #if __riscv_xlen == 64
return ecall( return ecall(
static_cast<sbiword_t>(ExtensionId::SET_TIMER), static_cast<sbiword_t>(ExtensionId::SET_TIMER),

2
kernel/drivers/opensbi/include/opensbi/opensbi.h
View file

@ -1,6 +1,6 @@
#pragma once #pragma once
#include <cstdint> #include <stdint.h>
namespace drivers { namespace drivers {
namespace opensbi { namespace opensbi {

2
kernel/kernel.cpp
View file

@ -1,5 +1,5 @@
#include <stdarg.h> #include <stdarg.h>
#include <inttypes.h> #include <stdint.h>
#include <dtb/dtb.h> #include <dtb/dtb.h>