tests/linux: use Akaros's CFLAGS
[akaros.git] / kern / arch / riscv / riscv.h
index 9bdb660..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;
 }
 
@@ -41,8 +40,8 @@ static __inline void
 send_broadcast_ipi(uint8_t vector)
 {
 #warning "broadcast ipi?"
-       /* num_cpus might not be visible here */
-       for (int i = 0; i < num_cpus; i++)
+       /* num_cores might not be visible here */
+       for (int i = 0; i < num_cores; i++)
                send_ipi(i, vector);
 }
 
@@ -51,5 +50,3 @@ clear_ipi()
 {
        mtpcr(PCR_CLR_IPI, 0);
 }
-
-#endif