Changeset ae8d7b0 in mainline for boot/arch/riscv64/include/asm.h

Timestamp:

2017-08-21T18:23:39Z (7 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c58441d

Parents:

fdc29300

Message:

riscv64: update to the latest Privileged Architecture specification (1.10)

File:

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

boot/arch/riscv64/include/asm.h

@@ -32 +32 @@
 #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));