Changes in kernel/arch/riscv64/src/cpu/cpu.c [8b6aa39:83dab11] 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>
@@ -57 +56 @@
 }
 
-void cpu_print_report(cpu_t* cpu)
+void cpu_print_report(cpu_t *cpu)
 {
 }