Changes in boot/arch/riscv64/include/asm.h [8b6aa39:ae8d7b0] 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 <typedefs.h>
+#include <stddef.h>
 
-extern void jump_to_kernel(void *, uintptr_t)
+extern char htif_page[];
+extern char pt_page[];
+
+extern void jump_to_kernel(uintptr_t)
     __attribute__((noreturn));