Changes in kernel/arch/riscv64/src/cpu/cpu.c [83dab11:8b6aa39] in mainline

File:

• kernel/arch/riscv64/src/cpu/cpu.c (modified) (2 diffs)

kernel/arch/riscv64/src/cpu/cpu.c

@@ -36 +36 @@
 #include <cpu.h>
 #include <arch.h>
+#include <typedefs.h>
 #include <print.h>
 #include <fpu_context.h>
@@ -56 +57 @@
 }
 
-void cpu_print_report(cpu_t *cpu)
+void cpu_print_report(cpu_t* cpu)
 {
 }