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

Timestamp:

2018-09-29T14:39:54Z (6 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

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

Children:

99170e0c

Parents:

dc68f72

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:11:34)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:39:54)

Message:

Use compiler-provided freestanding headers

Standard-compliant C compiler must provide these, so there is no point
in us trying to guess or repeat the correct contents.
This includes <float.h>, <iso646.h>, <limits.h>, <stdalign.h>, <stdarg.h>,
<stdbool.h>, <stddef.h>, <stdint.h>, and <stdnoreturn.h>.

<stdint.h> and <limits.h> need more work.

File:

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

boot/arch/riscv64/include/arch/asm.h

@@ -31 +31 @@
 
 #include <stddef.h>
+#include <stdint.h>
 
 extern char htif_page[];
 extern char pt_page[];
 
-extern void jump_to_kernel(uintptr_t)
-    __attribute__((noreturn));
+extern _Noreturn void jump_to_kernel(uintptr_t);
 
 #endif