Commit 8ac93244 authored by Rahix's avatar Rahix
Browse files

fix(libcard10): Mark card10_reset() as noreturn

card10_reset() won't ever return to where it was called from.  Telling
the compiler this can help with program-flow analysis.
Signed-off-by: Rahix's avatarRahix <>
parent a9e1b238
......@@ -224,7 +224,7 @@ void card10_poll(void)
void card10_reset(void)
void __attribute__((noreturn)) card10_reset(void)
printf("Resetting ...\n");
......@@ -235,6 +235,9 @@ void card10_reset(void)
__asm volatile("nop");
while (1)
void GPIO0_IRQHandler(void)
......@@ -15,5 +15,5 @@ void core1_start(void *isr);
void core1_stop(void);
void card10_poll(void);
void card10_reset(void);
void card10_reset(void) __attribute__((noreturn));
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment