tests/linux: use Akaros's CFLAGS
[akaros.git] / kern / arch / riscv / riscv.h
index 484bf5e..262de7f 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_RISCV_H
-#define ROS_INC_RISCV_H
+#pragma once
 
 #include <arch/pcr.h>
 
@@ -26,8 +25,8 @@ read_pc(void)
 static inline uintptr_t
 read_bp(void)
 {
-       /* frame pointer.  yes, read_bp is a shitty name.  i'll change all of them
-        * to read_fp when you read this and implement the function.  =) */
+       /* frame pointer.  yes, read_bp is a shitty name.  i'll change all of
+        * them to read_fp when you read this and implement the function.  =) */
        return 0;
 }
 
@@ -51,5 +50,3 @@ clear_ipi()
 {
        mtpcr(PCR_CLR_IPI, 0);
 }
-
-#endif