fix(core/cpu): wake up secondary VM CPUs

This commit fixes issue introduced in commit 6df80f4 by ensuring the
CPU jumps to the CPU message handler (if received any CPU message)
after waking from power down.
This allows the target CPU to update the `psci_ctx.state` field to
`ON`, enabling the vCPU to resume execution.

Signed-off-by: João Peixoto <[email protected]>

Author: joaopeixoto13

src/arch/armv8/armv8-a/psci.c

@@ -53,7 +53,7 @@ static void psci_wake_from_powerdown(void)
 
     vcpu_arch_reset(cpu()->vcpu, cpu()->vcpu->arch.psci_ctx.entrypoint);
     vcpu_writereg(cpu()->vcpu, 0, cpu()->vcpu->arch.psci_ctx.context_id);
-    vcpu_run(cpu()->vcpu);
+    cpu_powerdown_wakeup();
 }
 
 void psci_wake_from_off(void);

src/core/cpu.c

@@ -127,6 +127,11 @@ void cpu_standby_wakeup(void)
 
 void cpu_powerdown_wakeup(void)
 {
+    if (interrupts_check(interrupts_ipi_id)) {
+        interrupts_clear(interrupts_ipi_id);
+        cpu_msg_handler();
+    }
+
     if (cpu()->vcpu != NULL) {
         vcpu_run(cpu()->vcpu);
     } else {