aarch64: force task switch when idle gets wakeup signal

2022-02-22 09:53:04 +09:00 · 2022-02-22 09:53:04 +09:00 · 4cc4d9520e
commit 4cc4d9520e
parent 5019c047c5
1 changed files with 1 additions and 0 deletions
--- a/kernel/arch/aarch64/main.c
+++ b/kernel/arch/aarch64/main.c
@ -358,6 +358,7 @@ void aarch64_interrupt_dispatch(int from_wfi) {

 		case 1:
 			EOI(iar);
+			if (from_wfi) switch_next();
 			break;

 		/* Arbitrarily chosen SGI for panic signal from another core */