Running in EL2, after issuing a psci_supesnd either for power-down or standby in one of the cores, I'm not able to wake up that core by sending an SGI to it. I know the interrupt is correctly configured since if I don't issue the psci call, the core receives the interrupt. I'm using version imx_4.14.98_2.0.0_ga for both scfw and atf.
Is there something I should be doing from EL2 to guarantee the core will be woken up by the interrupt before calling psci? From what I gather gic power management should be completely up to firmware.
The hypervisor I'm using does not use a device tree. The parameter passed to the suspend psci call is 0x10000. I notice this only happens regarding the high-performance a72 cores. When only using the a53 cores it seems to work fine. I've ruled out any issues regarding the SGI itself. If the core does not issue the psci call, it receives the sgi fine.