Changes in boot/arch/riscv64/include/asm.h [ae8d7b0:8b6aa39] in mainline

File:

• boot/arch/riscv64/include/asm.h (modified) (1 diff)

boot/arch/riscv64/include/asm.h

@@ -30 +30 @@
 #define BOOT_riscv64_ASM_H_
 
-#include <stddef.h>
+#include <typedefs.h>
 
-extern char htif_page[];
-extern char pt_page[];
-
-extern void jump_to_kernel(uintptr_t)
+extern void jump_to_kernel(void *, uintptr_t)
     __attribute__((noreturn));