From c24628ab2a5d59757a99d8c9259e0b2e0043d902 Mon Sep 17 00:00:00 2001
From: Quantum <thomasmuller336@gmail.com>
Date: Sun, 23 Jan 2022 20:27:14 -0500
Subject: [PATCH] Formatting

It would be nice if I would stay consistent with namespace formatting

Maybe I should use a real linter or something...
---
 kernel/drivers/opensbi/extensions/legacy.cpp               | 1 +
 kernel/drivers/opensbi/include/opensbi/extensions/legacy.h | 1 +
 kernel/drivers/opensbi/include/opensbi/opensbi.h           | 1 +
 3 files changed, 3 insertions(+)

diff --git a/kernel/drivers/opensbi/extensions/legacy.cpp b/kernel/drivers/opensbi/extensions/legacy.cpp
index c5f46ea..728418a 100644
--- a/kernel/drivers/opensbi/extensions/legacy.cpp
+++ b/kernel/drivers/opensbi/extensions/legacy.cpp
@@ -2,6 +2,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     namespace {
         enum class ExtensionId {
             SET_TIMER,
diff --git a/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h b/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
index f91c7e5..77b0ec9 100644
--- a/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
+++ b/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     [[deprecated("Use the time extension instead")]]
     SbiRet set_timer(uint64_t stime_value);
 
diff --git a/kernel/drivers/opensbi/include/opensbi/opensbi.h b/kernel/drivers/opensbi/include/opensbi/opensbi.h
index a5c4aa4..14a1583 100644
--- a/kernel/drivers/opensbi/include/opensbi/opensbi.h
+++ b/kernel/drivers/opensbi/include/opensbi/opensbi.h
@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi {
+
     typedef unsigned long sbiword_t;
     typedef const unsigned long * hart_mask_t;